Renaming some documentation files