> > BTW, you can get an account on GNOME bugzilla and edit bugs > yourself :) Aha, I was under the impression I had to have special priviliges. Next time I'll do it myself :) Wouter