Ability to resize Aloha Editor vertically on the back-end

On e.g. node/%/edit forms, textareas can be resized vertically. Aloha Editor breaks this (partially because it uses a div instead of a textarea), but this functionality should of course continue to exist. Hence it should be reimplemented for Aloha Editor.