I have a workspace on my work account and one on my personal account, and I want to switch their IDs because they make more sense in each others' contexts rather than their own. So I tried to change `workspaceX` into `workspaceX2`, which worked fine, and then tried to change `workspaceY` into `workspaceX`, but I got an error page:

I made the changes yesterday, but I still get the error message. Are workspace IDs taken forever once used? Or does it take a couple of days for the change to properly propagate through the system and release the old ID?
Thanks in advance for any help/insight on this.