Extension naming issues

The “control system” hangs on to the names for a little longer/it takes a while for a deletion to clear all of the systems correctly. How long this is? No idea.

You’d have had better mileage renaming extension a to somedumbname, then renaming extension b to the original name of a, probably