yes, thanks for the report - I fixed it on Monday, but didn't notice
your mail before now. One of the admins upgraded the machine to etch
when I was not looking and it caused some bits to break. ;-)
Great: the formatting was also totally messed up, but I felt someone
was already working on it. That's fixed also.
Good work!
--
Matthieu