HomeIsabelle/Phabricator

support generated preferences, i.e. non-strict system options;