The HAIP specification has been renamed to OpenID4VC High Assurance Interoperability Profile. Your browser should load the new spec in a moment.