Facebook farewells flaky SHA-1