>> As can be seen, the space after the question mark is larger in the >> first example, which is not appropriate here. [...] > > Well spotted, I can hardly see the difference. It should be fixed > in commit 3cd56e4c8dbe0. Please check if this solves the problem.
Problem solved. Thanks for the quick fix!
Werner
