> Still same problem when I tried from home today, despite the patch,
You mean only the patch of '_htHead', or also fixing the described bug?
Unfortunately, I cannot debug this here, as I can't reproduce the
> what do we do? Did you take a look at my non-GUI example, could it be
> a way forward for me?
I do not think that this makes a fundamental difference. It is just
wild guessing as long as we don't find the reason of the problems.