clarified "isabelle phabricator -l": avoid surprise with non-existent default installation;