Update docs to reference config.xml instead of mysql.txt.