On Thu, May 10, 2012 12:39, Mark Rushing wrote: > This mistake made it onto a few machines here before I noticed and came > to check... it's an okay update to have installed, in the meantime > though, yes? I mean, it's not some untested work-in-progress that > slipped in... that I should revert from.... ? No, that's not necessary. Thijs