Disallow tabs in document indentation.  We will use four spaces instead
of a tab to indent nested blocks.

Use large conflict markers because otherwise '=======' underlines in
Markdown section headers look like conflict markers to the automatic
checks.