more explicit header_edits before main text_edits; handle reparses caused by syntax update;
more explicit header_edits before main text_edits;
handle reparses caused by syntax update;

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