HomeIsabelle/Phabricator

more hyperlinks, notably internal fact references;