Trivial formatting fixes for TODO, SETUP-nVMX.rst