Rename mysqltoredis.html to mysqltoredis.txt