mysql/mysql-server ? reverse-engineered prompt