text: <!DOCTYPE html>
  <html lang="en">
  <head>
      <meta http-equiv="refresh" content="0;URL=struct.if_msghdr.html">
  </head>
  <body>
      <p>Redirecting to <a href="struct.if_msghdr.html">struct.if_msghdr.html</a>...</p>
      <script>location.replace("struct.if_msghdr.html" + location.search + location.hash);</script>
  </body>
  </html>