Good to know.

I've always wondered why HTML editors tend to work this way (Wordpress is the same), instead of having a single enter key be a line break and a double enter key be a paragraph.