Hi Lodewijk,
maybe relevant information to some: this is Ascension day - a public holiday, depending on where you live.
Apologies if that is a conflict for anyone (I was not aware of the holiday).
If anyone needs to miss this particular office hours, as always I am happy to ask any questions on your behalf, and they will appear in the log. All you need to do is email me. :)
I will also do a follow-up office hours within a couple months because we should have a lot more news coming out by the end of our fiscal (end of June).