Already solved for XMPP (which also has other benefits): https://migrate.modernxmpp.org

And not even an issue to begin with for SimpleX (since it literally has no user IDs): https://simplex.chat