GitLab

This is particularly useful on Android where you can't just edit things
in the file system while working on map styling.