HomeIsabelle/Phabricator

More obsolete "unfold" calls