Removed some documentation stuff.

Don't worry, wasn't anything important.  Just stuff that had been
migrated to the wiki/was obsolete.