A little menu at the top with anchor links
Add docs about github permissions. Fixes #265