You might be interested in the EXEgesis project, which is also a machine interpretation of x86 documentation, but which includes several patches for unfixed errata therein.

https://github.com/google/EXEgesis