SEC filing today:
https://ir.vmware.com/websites/vmware/English/5010/us-sec-filing.html?shortDesc=Filing%20of%20certain%20prospectuses%20and%20communications%20in%20connection%20with%20business%20combination%20transactions&format=convpdf&secFilingId=86e8d3cb-66e3-463e-bf37-339b5c06ce33