It seems crazy to me that the definitive x86-64 resource is a PDF. It's a good reference, but having a canonical, linkable HTML resource would be really handy.