Merge #14617: clarify discussion of interrelationship of __eq__ and __hash__.