I may have to migrate too. I’m cautious with leaving proton, but they have had plenty of time to muzzle this guy and they haven’t so it’s time to move on. I own my domain and and the aliases will all follow me either way, though that’s going to be an absolute bear to migrate.