Wikimedia Bugzilla is closed!

Consider the following wikitext:
Zero↵One↵↵Two↵↵↵Three↵↵↵↵Four↵↵↵↵↵Five

(↵ === \n)

This renders the following HTML:

<p>One↵Two</p>

<p>Three</p>

<p><br/>↵Four</p>

<p><br/>↵</p>

<p>Five</p>

Firstly, are the <br/> tags necessary here?

Secondly if you edit this in VE and delete the ↵ character before 'Four' and the br inside the empty paragraph between 'Four' and 'Five', you get an empty diff, despite VE sending the following HTML back:

<p>One↵Two</p>

<p>Three</p>

<p><br/>Four</p>

<p></p>

<p>Five</p>

The gap between 'Four' and 'Five' should be reduced to two linebreaks, and if it weren't for the extra <br/> before 'Four' originally, that would work too.