[Plugin: Front-end Editor] Edit HTML of post body?

Is there an HTML-edit view or tab that it’s possible to use in the Front-end Editor?

If not, is it something that I could do behind the scenes, e.g., by setting some preference in the Aloha editor?

If not to both of the above, it would be a great feature for a future release.