HTML editor; HTML editing in scaffolding and translations