Hmm, I think I’ve fixed that paticular problem by removing the following code from editor.dev.js:
// Remove <p> and <br />
content = content.replace(/\s*<p>/gi, '');
content = content.replace(/\s*<\/p>\s*/gi, '\n\n');
content = content.replace(/\n[\s\u00a0]+\n/g, '\n\n');
content = content.replace(/\s*<br ?\/?>\s*/gi, '\n');
Now I wonder what other parts I broke by doing that?! ?? Diddnt find any wierdness yet.