Yay open source! The WordPress bug I reported: #1793 (double quotes escaped inside pre tags) has been fixed for v2.0!