HomeIsabelle/Phabricator

clarified options: implicitly support both x86_64 and arm64;