HomeIsabelle/Phabricator

more thorough update of required files (amending 1529c3eb6bac);