Hi Jürgen, thanks again. Yes, this is version 2.2.3, as released by gentoo Linux (if latest stable is already 2.2.4, then they seem to be a bit behind with their versions; or has 2.2.4 not yet been officially released?).
In any case, is this something for which I should submit a bug report? Cheers, Andrew
