Remove outdated documentation from the docs subdirectory.