We should replace the deprecated `EncryptedSharedPreferences`, probably by - just `SharedPreferences` (without need for encryption because it's on private storage anyway) or - `DataStore` or - our existing database. We should however keep a migration for some time :/ (This should also fix #1683.)
