On 06/06/11 00:56, K. Peachey wrote: <snip>
Since it skips cache, can not we disable that stub highlighter once for all?
Logged in users don't get cached versions of the page...
I am well aware of that. The root cause being the various options available to users, my proposal is merely to get ride of one of the options :-)