* Max <abonnements at revolwear.com> [2020-03-07 15:20]: > There is also the patch2svg plugin by IOhannes. Look for it in the deken > external manager aka "Find externals" in the Help menu. Indeed! Am using this one with much joy since a few years now.