Document how to import OVF into VMWare Player.