Rename mysql to mysql.md