At 08:55 PM 04/03/02, you wrote:

>this would be **hugely useful**. I was surprised to see this thread as I
>was just about to post a similar question.

I'll second that. Perhaps we could persuade Claudio to look into it :-)