HomeIsabelle/Phabricator

tuned -- avoid non-standard extend/merge;

Authored by makarius.