On Sun, 2005-07-24 at 11:13 +0200, nodata wrote: > > This doesn't solve the problem at source. > No it doesn't. It does however solve the symptom - and it is the symptom that is annoying. The said user is unidentified, and thus there is no way to treat the problem at the source. Treating the symptom works well in this case.