A couple of typos in the May 21, 2019 version.
Under "31.4 USING VMX INSTRUCTIONS"
"(VMPTRST may not be necessary is software already knows the working-VMCS pointer.)"
may not be necessary if ...
Under "22.214.171.124 Resuming Guest Software after Handling an Exception"
"The approach for removing the condition may be specific to the VMM’s software architecture. and algorithms This section describes"
... software architecture and algorithms. This ... (the place of period)
For more complete information about compiler optimizations, see our Optimization Notice.