Put more HTML structure in redirection files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/docs/1.0.1/html/about.html b/docs/1.0.1/html/about.html
index 4b804d0..c1494d4 100644
--- a/docs/1.0.1/html/about.html
+++ b/docs/1.0.1/html/about.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/about.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/about.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/about.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/about.html">https://arm-software.github.io/psa-api/crypto/1.0/about.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/attributes.html b/docs/1.0.1/html/api/keys/attributes.html
index 8387629..5b07810 100644
--- a/docs/1.0.1/html/api/keys/attributes.html
+++ b/docs/1.0.1/html/api/keys/attributes.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/ids.html b/docs/1.0.1/html/api/keys/ids.html
index 8961768..bb0079b 100644
--- a/docs/1.0.1/html/api/keys/ids.html
+++ b/docs/1.0.1/html/api/keys/ids.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/index.html b/docs/1.0.1/html/api/keys/index.html
index a189013..409b754 100644
--- a/docs/1.0.1/html/api/keys/index.html
+++ b/docs/1.0.1/html/api/keys/index.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/lifetimes.html b/docs/1.0.1/html/api/keys/lifetimes.html
index e58faeb..8fc6135 100644
--- a/docs/1.0.1/html/api/keys/lifetimes.html
+++ b/docs/1.0.1/html/api/keys/lifetimes.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/management.html b/docs/1.0.1/html/api/keys/management.html
index 5af957c..112e811 100644
--- a/docs/1.0.1/html/api/keys/management.html
+++ b/docs/1.0.1/html/api/keys/management.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/policy.html b/docs/1.0.1/html/api/keys/policy.html
index a68306a..d036b6b 100644
--- a/docs/1.0.1/html/api/keys/policy.html
+++ b/docs/1.0.1/html/api/keys/policy.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/types.html b/docs/1.0.1/html/api/keys/types.html
index c9b948c..9ea6763 100644
--- a/docs/1.0.1/html/api/keys/types.html
+++ b/docs/1.0.1/html/api/keys/types.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/library/index.html b/docs/1.0.1/html/api/library/index.html
index 4aab149..72d193c 100644
--- a/docs/1.0.1/html/api/library/index.html
+++ b/docs/1.0.1/html/api/library/index.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/library/index.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/library/index.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/library/index.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/library/index.html">https://arm-software.github.io/psa-api/crypto/1.0/api/library/index.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/library/library.html b/docs/1.0.1/html/api/library/library.html
index f4b4652..117163c 100644
--- a/docs/1.0.1/html/api/library/library.html
+++ b/docs/1.0.1/html/api/library/library.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/library/library.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/library/library.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/library/library.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/library/library.html">https://arm-software.github.io/psa-api/crypto/1.0/api/library/library.html</a>.</p>
+  </body>
+</html>
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>
diff --git a/docs/1.0.1/html/api/ops/aead.html b/docs/1.0.1/html/api/ops/aead.html
index 005e423..62c476d 100644
--- a/docs/1.0.1/html/api/ops/aead.html
+++ b/docs/1.0.1/html/api/ops/aead.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/algorithms.html b/docs/1.0.1/html/api/ops/algorithms.html
index 4254e83..f58147f 100644
--- a/docs/1.0.1/html/api/ops/algorithms.html
+++ b/docs/1.0.1/html/api/ops/algorithms.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/ciphers.html b/docs/1.0.1/html/api/ops/ciphers.html
index 5f49443..d61ba2a 100644
--- a/docs/1.0.1/html/api/ops/ciphers.html
+++ b/docs/1.0.1/html/api/ops/ciphers.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/hashes.html b/docs/1.0.1/html/api/ops/hashes.html
index 1121cdc..b46e468 100644
--- a/docs/1.0.1/html/api/ops/hashes.html
+++ b/docs/1.0.1/html/api/ops/hashes.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/index.html b/docs/1.0.1/html/api/ops/index.html
index d62ba38..2b307b4 100644
--- a/docs/1.0.1/html/api/ops/index.html
+++ b/docs/1.0.1/html/api/ops/index.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/ka.html b/docs/1.0.1/html/api/ops/ka.html
index 5efe848..5099d93 100644
--- a/docs/1.0.1/html/api/ops/ka.html
+++ b/docs/1.0.1/html/api/ops/ka.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/kdf.html b/docs/1.0.1/html/api/ops/kdf.html
index 2f22ce3..cf59454 100644
--- a/docs/1.0.1/html/api/ops/kdf.html
+++ b/docs/1.0.1/html/api/ops/kdf.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/macs.html b/docs/1.0.1/html/api/ops/macs.html
index fb2e87f..be2a1f0 100644
--- a/docs/1.0.1/html/api/ops/macs.html
+++ b/docs/1.0.1/html/api/ops/macs.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/pke.html b/docs/1.0.1/html/api/ops/pke.html
index 9626e79..70e22df 100644
--- a/docs/1.0.1/html/api/ops/pke.html
+++ b/docs/1.0.1/html/api/ops/pke.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/rng.html b/docs/1.0.1/html/api/ops/rng.html
index e147ad4..93716b7 100644
--- a/docs/1.0.1/html/api/ops/rng.html
+++ b/docs/1.0.1/html/api/ops/rng.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/sign.html b/docs/1.0.1/html/api/ops/sign.html
index a4de91d..22f5334 100644
--- a/docs/1.0.1/html/api/ops/sign.html
+++ b/docs/1.0.1/html/api/ops/sign.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/appendix/example_header.html b/docs/1.0.1/html/appendix/example_header.html
index 3a4411c..42b9483 100644
--- a/docs/1.0.1/html/appendix/example_header.html
+++ b/docs/1.0.1/html/appendix/example_header.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/appendix/example_header.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/appendix/example_header.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/appendix/example_header.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/appendix/example_header.html">https://arm-software.github.io/psa-api/crypto/1.0/appendix/example_header.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/appendix/history.html b/docs/1.0.1/html/appendix/history.html
index a91e165..d509e58 100644
--- a/docs/1.0.1/html/appendix/history.html
+++ b/docs/1.0.1/html/appendix/history.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/appendix/history.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/appendix/history.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/appendix/history.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/appendix/history.html">https://arm-software.github.io/psa-api/crypto/1.0/appendix/history.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/appendix/specdef_values.html b/docs/1.0.1/html/appendix/specdef_values.html
index e6f34ea..66e78e5 100644
--- a/docs/1.0.1/html/appendix/specdef_values.html
+++ b/docs/1.0.1/html/appendix/specdef_values.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/appendix/specdef_values.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/appendix/specdef_values.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/appendix/specdef_values.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/appendix/specdef_values.html">https://arm-software.github.io/psa-api/crypto/1.0/appendix/specdef_values.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/genindex.html b/docs/1.0.1/html/genindex.html
index 30a935f..70853cc 100644
--- a/docs/1.0.1/html/genindex.html
+++ b/docs/1.0.1/html/genindex.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/genindex.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/genindex.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/genindex.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/genindex.html">https://arm-software.github.io/psa-api/crypto/1.0/genindex.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/index.html b/docs/1.0.1/html/index.html
index e7800ea..4fc04f9 100644
--- a/docs/1.0.1/html/index.html
+++ b/docs/1.0.1/html/index.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/index.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/index.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/index.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/index.html">https://arm-software.github.io/psa-api/crypto/1.0/index.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/conventions.html b/docs/1.0.1/html/overview/conventions.html
index 7523c89..4b08cf9 100644
--- a/docs/1.0.1/html/overview/conventions.html
+++ b/docs/1.0.1/html/overview/conventions.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/functionality.html b/docs/1.0.1/html/overview/functionality.html
index 8f08e09..c359097 100644
--- a/docs/1.0.1/html/overview/functionality.html
+++ b/docs/1.0.1/html/overview/functionality.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/goals.html b/docs/1.0.1/html/overview/goals.html
index 277450a..3c2d2a1 100644
--- a/docs/1.0.1/html/overview/goals.html
+++ b/docs/1.0.1/html/overview/goals.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/implementation.html b/docs/1.0.1/html/overview/implementation.html
index 67d898f..ca3b074 100644
--- a/docs/1.0.1/html/overview/implementation.html
+++ b/docs/1.0.1/html/overview/implementation.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/intro.html b/docs/1.0.1/html/overview/intro.html
index 681022b..4f2c503 100644
--- a/docs/1.0.1/html/overview/intro.html
+++ b/docs/1.0.1/html/overview/intro.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/sample-arch.html b/docs/1.0.1/html/overview/sample-arch.html
index d1b225a..18a7947 100644
--- a/docs/1.0.1/html/overview/sample-arch.html
+++ b/docs/1.0.1/html/overview/sample-arch.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/usage.html b/docs/1.0.1/html/overview/usage.html
index 9d4dc4a..de2fd95 100644
--- a/docs/1.0.1/html/overview/usage.html
+++ b/docs/1.0.1/html/overview/usage.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/psa_c-identifiers.html b/docs/1.0.1/html/psa_c-identifiers.html
index a248e41..06b9f3d 100644
--- a/docs/1.0.1/html/psa_c-identifiers.html
+++ b/docs/1.0.1/html/psa_c-identifiers.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/psa_c-identifiers.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/psa_c-identifiers.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/psa_c-identifiers.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/psa_c-identifiers.html">https://arm-software.github.io/psa-api/crypto/1.0/psa_c-identifiers.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/search.html b/docs/1.0.1/html/search.html
index cc49526..d7a332a 100644
--- a/docs/1.0.1/html/search.html
+++ b/docs/1.0.1/html/search.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/search.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/search.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/search.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/search.html">https://arm-software.github.io/psa-api/crypto/1.0/search.html</a>.</p>
+  </body>
+</html>