Wiki: Erweiterung (Suche) für How_to_map_a-Seiten erwünscht?

Wäre das eine Ergänzung für Better-osm-org: a script that adds useful little things to osm.org ?

Ich muss gestehen, ich nutze die Seiten nicht und darf mir deshalb keine Meinung dazu erlauben :slight_smile: