Remove obsolete man pages.  The corresponding code was removed in r255608.