Impossibile esportare il mio database da mysql workbench

In MySql Workbench versione 8.0.13, procedi come segue:

1. Vai a Gestione/Esportazione dati
2. Scegli lo schema da esportare nell'elenco "Tabelle da esportare"
3. Fai clic sul pulsante "Opzioni avanzate..." (in alto a destra)
4. Cerca l'opzione 'Altro/statistiche-colonna'
5. Imposta il valore su 0
6. Fai clic sul pulsante "Restituisci" (in alto a destra)

Ora dovrebbe funzionare. Sfortunatamente, dovrai farlo ogni volta che avvii MySql Workbench.