Rename CODES.html to CODES.txt