HomeIsabelle/Phabricator

Move changed files now that the base version is 5.8.1.