How to migrate from Digital Ocean MySQL managed DB ?

Hi everyone, this is driving me craaaazy! The official documentation doesnt work with DO managed mysql db. pgloader seems to be not compatible.

Any ideas on how to migrate?