Andreas Fabri <Andreas.Fabri at sophia.inria.fr> writes: Does such a feature request sound reasonable? I don't like it, as it would add overhead, and take a large implementation effort. -- Torbjörn