fixup! Clean up trailing whitespace under html/