Improve documentation

This pull request attempts to improve the documentation of AutoDoc. It removes a lot of duplication, and fixes several errors and confusing remarks.

There is still work left to be done, though. I added some FIXME comments in gap/AutoDocDocEntries.g to mark some places that need work.