Element Android is now using the Crypto Rust SDK. Migration of user's data should be done at first launch after application upgrade.