[frabert]

You can find here https://www.felixcloutier.com/x86/ a machine-read conversion of the intel reference manual. Maybe you could ask him how he did!