Now how did you know that line was in there? You got that from the log files?
Yes, the information was in the vmware.log file. I extracted the .vmx configuration file information from the vmware.log file using a script that creates a .vmx configuration file. While I could have just looked in the vmware.log file I used my scrip instead because it's faster and easier to review the information as a .vmx file then having to scroll through the .log file and obscure the extraneous information not pertaining to the specific issue.
Where is stuff like this documented?
VMware is somewhat secretive about this information and typically only provides information when it's problematic to many users, like information in a KB Article and once in a while providing it in the forums but in spite of many repeated requests has not and will not publish a complete set made available to the public. A larger collection can be found at VMX Documentation FAQ. Personally I've developed my own list by having run utilities that record changes to files as I walked through the UI toggling settings and additional tools to extract information from program executables and dynamic link libraries and then adding to that what's been available in the other sources.
Is there possibly some script that can convert between platforms?
In the context of moving Virtual Machines between VMware Fusion/Player/Workstation I haven't seen a published individual script although there is VMware vCenter Converter Standalone that could be used although its intended purpose is much broader then that. However even using Converter it probably would not have changed the setting I had you comment out and there are other settings that would not have been modified/removed too. So it's really easier to just manually make the necessary changes that aren't addressable via the UI. Or use one's own custom scripts and or templates.