Have a look at the following image:
As you can see when I press Enter div appear which is normal.
However, when I undo this action using backspace on the start of the new line, a ‘strange’ combination of letters replace the div
Pretty sure this behaviour was not present in the previous versions, because I use the HTML editor quite a lot and I never noticed it.