The latest instructions on connecting to managed MySQL with MySQL Workbench do not work.