The source project of this merge request has been removed.
Switched to shortened name for better display inside of F-Droid. @mvdan, please let me know if this merge request needs squashing of commits or anything else. I am still new to the use of GitLab and use GitHub much more often, still I'd like to follow the F-Droid rules.