It’s that time of the year. I’m exhausted like never before, and will go on a long vacation throughout June and bits of July, starting in a few days, using up all the carried over remaining vacation days from 2023 and 2024 before they become void and lost. 
Therefore, effective now, paid user support is already suspended until at least mid July 2025.
I hope some of you can also enjoy a vacation! 
-mario