HomeIsabelle/Phabricator

tuned -- avoid non-standard extend;

Authored by makarius.