On 2007-10-11, 23:08 GMT, David Zeuthen wrote: > (FWIW, I've told Dan Walsh already; I should probably file > a bug too.) Thanks a lot. Matěj