HTML Editor (Score 1)

I know what extension I would like to see - make the 'view source' feature in FF editable. 'View source' in FF produces very nice tabbed and color coded html. But it is currently uneditable.

I'm too lazy / busy to learn programming my self right now.