Update of the documentation: I think we are now happy with Phabricator