Hmm, that could have gone in the other mail, but never mind: I've pinged Jaroslav about this in a private mail, so it should go into the next stable release. The corresponding changeset in John's archive is changeset: 8071:b6e85fb238c1 Thomas