clarified Document_Editor.Session: more explicit types, more robust operations;
eliminated await_stable_snapshot in favour of delay_build;