How does VboxManage registervm work?

Anyone knows where the VirtualBox’s registry is kept? Or how does it look?

Basically, I’d like to transfer some VMs to a different user on the same host, but cannot figure out an easy way to do it.

Export/Import is something I would like to avoid due to inefficiency in a local setup.

The VirtualBox VMs folder is in a shared dir form the onset, symlinked to the first user’s HOME.

Now as I have symlinked the VirtualBox VMs to a second user’s HOME, the VBoxManage list vms returns empty list despite having all required permissions to the files. What could be missing on this route?