Max Horn wrote:
> Yup. I wrote that a bit further down in that mail :-)
Oops, I should've seen that... OTOH, I didn't manage to post to the list
instead of only you, so maybe I was too tired anyway...
Happy New Year, by the by :)