@geoObserver @jef Tut mir leid. Selbst heute wird noch die Version 4.0.0 heruntergeladen. Dank des konsequenten Verzichts auf eine Versionsnummer im DMG-Namen bleibt jeder Download ein kleines Überraschungspaket.
@konfluenzpunkt @jef jo, das finde ich auch blöd, hatte auch schon mal nachgefragt, leider ohne Erfolg. 🤔🤷‍♂️