HomeIsabelle/Phabricator

more sanity checks;

Authored by makarius.