Can't clone with name of deleted VM / clone

[SteveCat]

There's something in the Virtualbox internal resources / information that persists when one deletes the VM files manually (using OS operations), at least on MacOS. This might have been a mistake, so there should be a way to recover via restoring the files / directories and re-initializing the VM from recovered files, but it might have been purposeful / the result of a bug or failure that you *don't* want to restore (or don't care to) the missing VM. So, there should be some way to recover by eliminating any knowledge of that VM name, so that you can re-use it for another clone.