update header links for GitHub Pages niceness