web/documentation: Anchors in the menu to the documentation