disable tinymce for workflow comment

merlinofchaos wrote a new feature for the workflow.module
you can comment on your state change

please add at theme_tinymce_theme()

    case 'workflow_comment': // workflow state comment

at the "Disable tinymce for these textareas"-area

because this is one of the important drupal modules and tinymce is an overkill for this

maybe it would be good if there is a hook which allows modules to define where they want to disable tinymce.
this hook should be very generic and the htmlarea.module devs and every other "textarea"-enhancer should use this hook to (and should be involved in the development)