HomeIsabelle/Phabricator

clarified message --- as in former ML version (see 940195fbb282);