Remove duplicated and obsolete docs pages

[schoen]

There are a couple of pages, especially category index pages, that are out of date now and should be deleted or merged. E.g. /documentation/ at the top level (not actually linked into the menu structure) looks kind of fragmentary.