Amends to tidy-up removal.

Included /docs/.gitignore to the removals list.