La tua soluzione è effettivamente corretta. Mentre stavamo avviando il servizio, abbiamo modificato il DNS del servizio per riflettere in modo più accurato il tuo server, tuttavia è necessario aggiornare la documentazione in modo appropriato.
Grazie per la segnalazione:aggiorneremo i documenti!
DB JasonAzure per il team MySQL