I was also debating back and forth on this. It's a good point, unlike cases where the value maps to a (soon to be removed) different key, we're not creating any "surprising" side effects by allowing a duplicate insert here. Done.