HomeIsabelle/Phabricator

prefer persistent hash code for cachable items (see also 72b13af7f266);