Firefox-HTML Bug Fixed

We've upgrade the underlying tools that support the editing system and as a result the bug in HTML mode when using Firefox (where spaces were randomly removed from any text you pasted in) should be fixed.