Re: [docs] frozenset.copy() does not create a copy