HomeIsabelle/Phabricator

clarified build options: reduce heap size by approx. 3%;