While testing, I found the following bugs in the html2 filter regarding the whitespace in the target html
<pre> </pre>" (pre with all whitespace) would be compressed if compression is on. But pre should always keep its contents uncompressed. I fixed it at the cost of giving the whitespace for translation.
Diff:
You need a blank line before the first item in a list.
Diff:
Released in 5.4.0.