Just in case somebody wants to see it all the time:
$('#bodyContent').contents().filter(function() {
if (this.nodeType == 8) {
return (this.data.indexOf("Saved") > 0 ||
this.data.indexOf("NewPP") > 0);
} else return false;
}).replaceWith(function() {
return "<pre>" + this.data + "</pre>";
});
https://secure.wikimedia.org/wikipedia/mediawiki/wiki/Snippets/Parser_infor…
//Marcin