Issue with other modules request page title

So I'm undecided if this should be a feature request or a bug report.

Either way it's a tiny fix. Sadly I can't provide an actual patch since I'm not infront of a computer with access to anything.

Anyways here's the issue;

Currently the workflow tab sets the title like this:

drupal_set_title(t('Workflow for %title', array('%title' => $node->title)), PASS_THROUGH);

I think it should be changed to

 drupal_set_title(t('Workflow for <em>@title</em>', array('@title' => $node->title)), PASS_THROUGH);

This does two things, The 1st switches the %title to @title, this is to prevent the <em class="placeholder"></em> from being used.

Sadly I realized you might actually want the "em" there so it's simpler to just throw the "em" tag in there like the regular drupal node edit title does.

This is a weird request, but the issue is other modules that assume that title is safe which for something like a basic token that request the title the class is really not needed and shouldn't be there.

Is this clear enough? Patch will come as soon as I'm in front of a computer.