Remove some obsolete text from the documentation.