The key is removed from the main hashtable and thus not accessible by the normal code path. It's appended to the internal list for deletion then. That's basical

The key is removed from the main hashtable and thus not accessible by the normal code path. It's appended to the internal list for deletion then. That's basically just moving around a pointer. A manual rename is not needed.