* Barre discrète réparée sur les versions d'Android récentes (merci à @dkanada)
* Prise en charge de « split-permissions »  de l'API 29 : un emplacement précis implique maintenant un emplacement approximatif
* Règle de sauvegarde pour sauvegarder les dépôts
