doxygen: move text that really belongs in the manual

We updated the doxygen main page before the manual was created, and so
it's content was not really at the right level. Move the content to
the manual, provisionally, and add some more useful blurb about links
and such like.