Put more HTML structure in redirection files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/docs/1.0.1/html/api/library/status.html b/docs/1.0.1/html/api/library/status.html
index c692665..2be51a3 100644
--- a/docs/1.0.1/html/api/library/status.html
+++ b/docs/1.0.1/html/api/library/status.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/library/status.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/library/status.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/library/status.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/library/status.html">https://arm-software.github.io/psa-api/crypto/1.0/api/library/status.html</a>.</p>
+  </body>
+</html>