Hi, I am on Grapheneos and don’t want to use Google play. Is there any way to make the map work in android? I have seen “manage custom tile sources” but do you know how it works?

EDIT: no option to use openstreetmap instead?