WordPress 3.5.1 resizing post/page edit window

You may notice as I have, that after updating WordPress to 3.5.1, the option to resize the page/post edit window is no longer under Settings -> Writing as it used to be.  There is just no option at all.

If you look close enough, as how I figured it out, you can grab the bottom right corner of the window and resize it manually.   Solved!