edit_document: proper edits/edit markup, including the document id; tuned;
edit_document: proper edits/edit markup, including the document id;
tuned;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle