@monsterdan5 on WordPress.org
Created ticket #18492 on Core Trac:Option to remove HTML auto formatting.