virtualbox allows creating shortcuts (.desktop files) for virtual machines, so I think these should be treated separately.
virtualbox allows creating shortcuts (.desktop files) for virtual machines, so I think these should be treated separately.