Changing our extension name

You’d have to kill the one with the new name.
Then wait $unknownTimePeriod for the name to release
Then you can move things round.

I don’t know if this is something $upstairs can help with. But I’ll go poke someone.