Moritz Karbach wrote: [snip]
That is, anything between ": patch <" and "<pre>uhland01" is missing! And in this missing area there was my "iptraf" search query...
I would consider this as a bug, but maybe it's a feature?
The search index strips HTML tags; apparently this isn't too careful and is removing a lot of material from your page. File a bug report at http://bugzilla.wikimedia.org, and if you want to get a head start take a look in SearchUpdate.php for the bit that does this.
-- brion vibber (brion @ pobox.com)