Thanks, no it hasn't.  But I have a lot of little things to do and 

limited free time. Your patch should be next in the queue,

though.

João