Automatic removal of `<div></div>`

The non-breaking spaces are generated by the web toolkit, and it’s not trivial to work around them without breaking things.

2 Likes