tools.crossref: switch to using identity hash-sets.