Thanks for the quick response, and I’m glad that it’s not also a problem in the online version. I hope this isn’t generally the case, though, i.e. that problems are noticed and fixed online first, since I have no choice but to run my experiments offline. E.g. I also have the problem discussed below - not to change the topic, just to express the hope that despite the limited resources available to any “free” project like this, both versions will be maintained with the same amount of vim and vigor.