top menu: 'Repositories' is really also a 'Home' button...
top menu: 'Repositories' is really also a 'Home' button
'Repositories' had a href="#" but it wasn't used - the sub menu is loaded and
shown when hovering.
The '/' front page is a more verbose view of repositories. It thus make sense
to let 'Repositories' point there.
