Cool. Thanks for letting me know.
Do you guys maintain a public feature request list anywhere and do you accept code contributions?
———————————————————————————————
For anyone else that's facing these issues, imho the most reliable method to deal with this is to completely disable auto-formatting and then selectively turning it back on for content posts that need it.
I specifically use the wpautop-control plugin, which allows for a custom field to be used to overwrite the default behaviour.
I've also had some success using Ultimate TinyMCE and Preserved HTML Editor Markup plugin to deal with similar issues on previous projects.
———————————————————————————————
Andy @ The Webists