They support MBOX exports and have expressed that they will support custom domains. Between the two, it’s hardly lock-in; you can export as often as you like and keep your address.