(I have some reports already sitting in my inbox: if you reported a bug which I didn't respond to, don't worry, I didn't forget about it, just didn't get to it yet; if you wish, you may report it in Bugzilla anyway, I won't mind, and it won't get lost.) ]]>