Usually one sees:

$ URL=...index.php?title=some_non_existant_page
$ w3m -dump $URL|sed ...
There is currently no text in this page, you can search for this page title in
other pages or edit this page.

But if one dares set $wgUserHtml = false;, holy moly, all around
the system things become ugly:

$ w3m -dump $URL|sed ...
<div class='noarticletext'>There is currently no text in this page, you can
search for this page title in other pages or edit this page.</div>

And to think the name of the variable is $wgUserHtml. It acts like an
$wgANYTHINGHtml.

DefaultSettings.php doesn't mention the extent things will break when
$wgUserHtml = false. It just says:

/** Allow limited user-specified HTML in wiki pages?

• It will be run through a whitelist for security. Set this to false if you
• want wiki pages to consist only of wiki markup. Note that replacements do not
• yet exist for all HTML constructs.*/

$wgUserHtml = true;

So also mention
*Breaks system messages.
*Better edit any HTML off of existing pages first.
*some HTML tags are also wikitext tags, some wikitext tags are HTML
tags, so better get a grip on which are which, unlike yours truly.

Version: 1.7.x
Severity: minor
OS: Linux
Platform: PC