ourbigbook.json / htmlXExtension

If false, implies --no-html-x-extension.

The initial application of this option was to Section "Redirect from a static website to a dynamic website".