GitLab

I think that it's time for another release of the desktop app. This one has been cut from the latest git + !766 (merged) + !771 (merged), so in particular it includes all the latest bugfixes and improvements to the GUI presets, as well as arm64 support for Debian/Ubuntu.

ChangeLog:

• incremental search in the help browser (Gabriela Bittencourt)
• new declare -zoom option, useful for teaching (AG)
• pddplink now accepts a symbol on its 1st inlet, looses its superfluous outlet (AG)
• major cleanup of the GUI presets, especially the dark ones work much better now (JW)
• arm64 support for the OBS Debian/Ubuntu builds (AG)