Apparently the <!DOCTYPE tag causes some problems with the editor, including mangling the context menu. We cannot remove this tag from our pages. Is there any workaround for this? It's a show stopper for us. Thanks.