Pasted images in HTML editor will no longer get lost on save

Glossary terms in text are now decorated with a nice dashed underline