remove unmaintained documentation (these days the manual is the primary source)