Sorry for the spam - the mailing list first fooled me that I had signed up, then put several e-mail in the ”moderation” queue, with broken links to the page that would allow me to cancel. Mailing lists are dead, see you in the PRs! Claes > 2 maj 2024 kl. 11:49 skrev Claes Redestad <claes.redestad at oracle.com>: > > Hi!