Thanks for a rather great and interesting 2023, dear customers (and potential customers)! Starting right now, I’ll be off for a few days, and I hope you’ll be able to do the same!
Support times will be severely limited until 2024-01-04. Thanks for your understanding!
Carlo