On 27 Aug 2024, at 16:09, Benny Kjær Nielsen wrote: > This should also be able to export as PDF, but I never tested this. And now that I checked, I can see that this option is missing from the menu. I'll look into that. This should work in the next update (r6065). -- Benny