Mit https://wiki.openstreetmap.org/wiki/OsmAndMapCreator kann man sich die obf Dateien auch leicht selbst erzeugen.
Für Bundesländer wie BW dauert das zwar Stunden, für kleine Dörfer (Daten mit JOSM laden und lokal abspeichern)
geht das in < 1 Minute auf einem ca. 8 Jahre alten Windows PC. Die obf Datei dann in das richtige Verzeichnis kopieren, die “normale” Karte deaktivieren und schon sieht man die neue Version.

Aber auch hier bleibt die Frage, ob OSMAND man_made=mineshaft überhaupt darstellt.