I was actually referring to 'VMWare Workstation'. This company apparently has a habit of putting the company name inside all of its product names. That doesn't

I was actually referring to 'VMWare Workstation'. This company apparently has a habit of putting the company name inside all of its product names. That doesn't preclude one from referring to each its product offerings by short name.