Fix a bug in the "rm" command.  Delete an obsolete documentation file.