House cleaning

Renaming of documents with versions in their names. Deleting redundant
stuff.