>>>>> "Pierre" == Pierre Muller <pierre.muller@ics-cnrs.unistra.fr> writes: Tom> This requires an approval from Pierre. Pierre> I am more than glad to give it! Thanks. I'm checking the patch in. Tom