XML editor based on Saxon CE, CKEditor, and BaseX