This Microsoft article is outdated:
Can we get a fresh Knowledgebase article for Workstation 15 here at VMware?
Is it still necessary to manually update the VMX configuration file? Or is it sufficient to set the new virtualization options in VM Settings?