@feld @raucao I had the GPG tools and also a support plan, but it seems to be not really active and also no longer properly works for me on recent MacOS versions.