They're stored as HTML, because of the WYSIWYG nature of the editor. I guess Markdown was the other obvious choice, but editing MD is not so immediate on mobile.