--- Comment #8 from Stefan Knorr (astron) <[hidden email]> ---
(In reply to comment #7)
> I feel that this is too “esoteric” as well. We don’t really want to clutter
> the options pages even more. About the config list not being searchable,
> please report a new bug for that :-)
Ftr, this is reflected already in bug 67642. Of course, it could have been more
clever to report each of those issues as a single bug.