Extension naming issues

I’ve run into this same issue today like a chump. @palmettos, was it ever resolved and the name of the extension you deleted cleared up eventually, allowing you to rename to it? Any idea how long you had to wait on that?