Estou com uma duvida simples acredito eu, na parte onde ele está realizando a inserção do código no HTML ele coloca um elemento button sem estar dentro da tag nav, porém esse button será referente ao menu de navegação, semanticamente não seria ideal inseri-lo dentro de uma tag nav ?