GitLab

We found a reproducibility issue on Android with the switch to Firefox 68 ESR and the respective toolchain and fixed it by using an apktool downloaded from the Internet. We should remove that workaronud and replace it with a better one (e.g. by switching our compile environment to Debian Buster and using the means the distro provides us with).