Renaming doc files to make the file names more palatable and in preparation for including documentation in sync process