@mrclay on WordPress.org
Created ticket #19666 on Core Trac:Switching from HTML to Visual editor removes some line breaks inside PRE
Created ticket #16790 on Core Trac:Functional spec for wpautop