Merge "Document HashSet::erase() behavior"