HomeIsabelle/Phabricator

clarified state of document model vs. document editor selection (again, see…