Re: [PATCH] formatdomain.html.in: document emulator/vcpu pin delay