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?