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