Volta de id para name

O github remove a tag id, provavelmente para não quebrar as suas páginas.
Estou voltando para name, pois parece que há um javascript para identificar esses clicks
e fazer a página ir para o lugar correto, mesmo com os nomes diferentes.