Release 2025.12.19 - custom map servers and improved routing

Available on: Google Play | App Store | F-Droid | Codeberg

• OpenStreetMap data as of December 17
• Android: Make map download server configurable - by @NoelClick
• Android: Added info about outdated maps and an update button to the selected place info card - by @map-per
• Avoid using parking aisles for routing - by @bluelight_henry
• Added irrigation hydrants - by @pablogila
• Android: Changed shape of zoom buttons - by @jeanbaptisteC

...and many other improvements, see the full list