@zonble on WordPress.org
Mentioned in [3544] on Core SVN:Use wp_specialchars() to avoid double encoding.