These are not the options you're looking for. Move along.
|
There's a simple workaround: The collections themselves can be deleted. Rename the contaminated collection and create an empty one with the desired name. Move all the stuff you actually want into the new collection, then delete the renamed contaminated collection via the File menu.
I fully acknowledge that this is going to be useful to precisely nobody I know. Maybe Hugh. I'm just posting it in the vain hope that it will short-circuit the next person's fruitless search for a nonexisting feature.