HomeIsabelle/Phabricator

avoid accidental update of base session sources (following documentation in…