Rename DOCUMENTATION to DOCUMENTATION.txt