We should figure out how to refer to qemu's copy of vfio-user spec, and only document our yet to be merged extensions (if relevant)