Let us enter line breaks in the html editor

If a user manually inserts a <br /> (html line break) into a post via the html editing feature, the break is removed upon save.

I understand that the post editor should avoid unnecessary line breaks, but there should be some way that the user may manually add some empty lines.