chromium no longer uses a bloom filter

* Call "HashMix" "Jenkins hashing" instead, since that leads to actual
  google hits, unlike HashMix.