Ref. manual: fix menus
Ref. manual: fix incorrect uses of @xref