Remove some obsolete documentation