Don't disable indention corrections for HTML

Previously we had a separate setting for HTML but one setting is more manageable.