Removed some garbage files in the docs/ directory