- android.permission.READ_EXTERNAL_STORAGE
- android.permission.WRITE_EXTERNAL_STORAGE
- android.permission.INTERNET
- android.permission.ACCESS_NETWORK_STATE
2019年10月30日
Optimierte Suche, verbesserte Navigationsleiste, Fehlerbehebung Fußnoten-Verlinkungen, allgemeine Bug-Fixes und Android-10 Kompatibilität.