HomeIsabelle/Phabricator

proper default for max_threads;