Osmand: Alte Suche verschwunden!

Hallo,
seit einem der letzten Updates ist leider die “Alte Suche” verschwunden. Sie lässt sich auch nicht mehr unter den Entwicklereinstellungen aktivieren.
Das finde ich äußerst bedauernswert!!!

Ja, das finden auch andere Nutzer bedauerlich:
https://groups.google.com/forum/#!topic/osmand/z4vSEl0vXkc
https://github.com/osmandapp/Osmand/issues/6118