This message was deleted.

If someone has the time to look at the PR, I would be interested to have your feedback but this is not urgent at all

Oh I will tomorrow. Ping me again if i forget it

Thanks! It works 🙂

Is this PR ready then?

This one yes, if someone can have a look at it. I'm unable to test the new packaging pipeline though. That's unfortunate but a limitation of GitHub with new pipelines on main branches (but once it's on main we'll be able to run it manually from a branch).

yes i know about this problem. Then i will merge it right now and we will give it a go

Thank you but please let me know if some of the changes are not OK for you. If packaging fails I'll make a quick PR right after

we will see

Seems ok... 😅