Box2Text has a weird corner case with extra indentation on the same line H-HOV combo

[jurgenvinju]

Describe the bug

java void writeHTMLFile    (loc file, HTMLElement dom,
                           str charset = "UTF-8",
                           HTMLEscapeMode escapeMode = baseMode(),
                           bool outline = false,
                           bool prettyPrint = true,
                           int indentAmount = 4,
                           int maxPaddingWidth = 30,
                           HTMLSyntax \syntax = htmlSyntax(),
                           bool dropOrigins = true);

There are 4 spaces after writeHTMLFile that should not be there.

[jurgenvinju]

Also this particular construct should be printed differently for Rascal. But that is a toBox rule issue, not a box2text issue.