Summary
- boot with Phabricator PHP daemon;
- clarified sshd setup: standard service on non-standard port 222, special "vcs" service on standard port 22;
- disable lrzcloud1 -- superseded by lrzcloud2;
- merged
- replaced new type ('a,'b) tree by old type ('a*'b) tree.
- more Phabricator configuration;