documenting another hash_set bug around entry reuse, updating docs