HTML formatter tweaks are big enough to be a feature