This morning I re-discovered the Wikipedia of digital maps: Openstreetmaps. I had an account there, but I haven’t used it in a while. Turns out the community is more active than I thought: a certain edit I made to a coffee shop a day ago was updated and adjusted an hour after I posted the extra information. It makes me consider contributing to the local maps in my area.

To recap: I’ve been using Organic Maps on my Android (thanks to Adam), which I recently wiped to install GrapheneOS.