HomeIsabelle/Phabricator

simplified/clarified persistent session information;