@nomulous on WordPress.org
Mentioned in [14220] on Core SVN:Prevent HTML editor from being resized horizontally.
Created ticket #13064 on Core Trac:Wordpress Post Editor is resizeable horizontally