Fix up some oddness in the navigation of the documentation: there should be exactly one @subpage for each page, other references should use @ref.