diff --git a/tags/community.html b/tags/community.html
deleted file mode 100644
index 96b5975..0000000
--- a/tags/community.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-community"><h3>
-        <span>community</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/cryptography.html b/tags/cryptography.html
deleted file mode 100644
index 6a83082..0000000
--- a/tags/cryptography.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-cryptography"><h3>
-        <span>cryptography</span>
-        3 entries</h3>
-    <ul><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/cstruct.html b/tags/cstruct.html
deleted file mode 100644
index 337db72..0000000
--- a/tags/cstruct.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-cstruct"><h3>
-        <span>cstruct</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/tar-release.html">The new Tar release, a retrospective</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/functors.html b/tags/functors.html
deleted file mode 100644
index d1ba3ca..0000000
--- a/tags/functors.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-functors"><h3>
-        <span>functors</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/tar-release.html">The new Tar release, a retrospective</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/git.html b/tags/git.html
deleted file mode 100644
index 550d58c..0000000
--- a/tags/git.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-git"><h3>
-        <span>git</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/gpt.html b/tags/gpt.html
deleted file mode 100644
index 147891f..0000000
--- a/tags/gpt.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-gpt"><h3>
-        <span>gpt</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/mbr.html b/tags/mbr.html
deleted file mode 100644
index 5b3268e..0000000
--- a/tags/mbr.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-mbr"><h3>
-        <span>mbr</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/mirageos.html b/tags/mirageos.html
deleted file mode 100644
index a065b93..0000000
--- a/tags/mirageos.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-mirageos"><h3>
-        <span>mirageos</span>
-        5 entries</h3>
-    <ul><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/miragevpn.html b/tags/miragevpn.html
deleted file mode 100644
index 43ae34f..0000000
--- a/tags/miragevpn.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-miragevpn"><h3>
-        <span>miragevpn</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/ocaml.html b/tags/ocaml.html
deleted file mode 100644
index 3a2dd27..0000000
--- a/tags/ocaml.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-ocaml"><h3>
-        <span>ocaml</span>
-        10 entries</h3>
-    <ul><li><a href="/articles/tar-release.html">The new Tar release, a retrospective</a></li><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/gptar.html">GPTar</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li><li><a href="/articles/2024-02-03-python-str-repr.html">Python&apos;s `str.__repr__()`</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/openvpn.html b/tags/openvpn.html
deleted file mode 100644
index 3a29f4e..0000000
--- a/tags/openvpn.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-openvpn"><h3>
-        <span>openvpn</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/performance.html b/tags/performance.html
deleted file mode 100644
index ee2a433..0000000
--- a/tags/performance.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-performance"><h3>
-        <span>performance</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/persistent storage.html b/tags/persistent storage.html
deleted file mode 100644
index c8f9793..0000000
--- a/tags/persistent storage.html	
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-persistent storage"><h3>
-        <span>persistent storage</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/python.html b/tags/python.html
deleted file mode 100644
index 38b120f..0000000
--- a/tags/python.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-python"><h3>
-        <span>python</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/2024-02-03-python-str-repr.html">Python&apos;s `str.__repr__()`</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/qubesos.html b/tags/qubesos.html
deleted file mode 100644
index 8a8c50a..0000000
--- a/tags/qubesos.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-qubesos"><h3>
-        <span>qubesos</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/scheduler.html b/tags/scheduler.html
deleted file mode 100644
index 45a10ce..0000000
--- a/tags/scheduler.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-scheduler"><h3>
-        <span>scheduler</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/security.html b/tags/security.html
deleted file mode 100644
index 15794ed..0000000
--- a/tags/security.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-security"><h3>
-        <span>security</span>
-        6 entries</h3>
-    <ul><li><a href="/articles/2024-08-21-OpenVPN-and-MirageVPN.html">MirageVPN and OpenVPN</a></li><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/speeding-ec-string.html">Speeding elliptic curve cryptography</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/tar.html b/tags/tar.html
deleted file mode 100644
index 5317c74..0000000
--- a/tags/tar.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-tar"><h3>
-        <span>tar</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/gptar.html">GPTar</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/testing.html b/tags/testing.html
deleted file mode 100644
index 84a41bd..0000000
--- a/tags/testing.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/mirageos.html">mirageos (6)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/vpn.html">vpn (6)</a></li><li><a href="/tags/cryptography.html">cryptography (4)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/testing.html">testing (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-testing"><h3>
-        <span>testing</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/miragevpn-testing.html">Testing MirageVPN against OpenVPN™</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/unicode.html b/tags/unicode.html
deleted file mode 100644
index e8a5464..0000000
--- a/tags/unicode.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-unicode"><h3>
-        <span>unicode</span>
-        1 entry</h3>
-    <ul><li><a href="/articles/2024-02-03-python-str-repr.html">Python&apos;s `str.__repr__()`</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/unikernel.html b/tags/unikernel.html
deleted file mode 100644
index 15aead2..0000000
--- a/tags/unikernel.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-unikernel"><h3>
-        <span>unikernel</span>
-        2 entries</h3>
-    <ul><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li><li><a href="/articles/lwt_pause.html">Cooperation and Lwt.pause</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
diff --git a/tags/vpn.html b/tags/vpn.html
deleted file mode 100644
index afcb36d..0000000
--- a/tags/vpn.html
+++ /dev/null
@@ -1,41 +0,0 @@
-
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8">
-    <meta http-equiv="x-ua-compatible" content="ie=edge">
-    <meta name="viewport" content="width=device-width, initial-scale=1">
-    <title>
-        Robur's blog
-    </title>
-    <meta name="description" content="blog.robur.coop">
-    <link type="text/css" rel="stylesheet" href="../css/hl.css">
-    <link type="text/css" rel="stylesheet" href="../css/style.css">
-    <script src="../js/hl.js"></script>
-    <link rel="alternate" type="application/rss+xml" href="../feed.xml" title="blog.robur.coop">
-  </head>
-  <body>
-    <header>
-      <h1>blog.robur.coop</h1>
-      <blockquote>
-        The <strong>Robur</strong> cooperative blog.
-      </blockquote>
-    </header>
-    <main><a href="/index.html">Back to index</a>
-
-<ul class="tags-list aeration"><li><a href="/tags/ocaml.html">ocaml (10)</a></li><li><a href="/tags/security.html">security (6)</a></li><li><a href="/tags/mirageos.html">mirageos (5)</a></li><li><a href="/tags/vpn.html">vpn (5)</a></li><li><a href="/tags/cryptography.html">cryptography (3)</a></li><li><a href="/tags/unikernel.html">unikernel (2)</a></li><li><a href="/tags/community.html">community (1)</a></li><li><a href="/tags/cstruct.html">cstruct (1)</a></li><li><a href="/tags/functors.html">functors (1)</a></li><li><a href="/tags/git.html">git (1)</a></li><li><a href="/tags/gpt.html">gpt (1)</a></li><li><a href="/tags/mbr.html">mbr (1)</a></li><li><a href="/tags/miragevpn.html">miragevpn (1)</a></li><li><a href="/tags/openvpn.html">openvpn (1)</a></li><li><a href="/tags/performance.html">performance (1)</a></li><li><a href="/tags/persistent storage.html">persistent storage (1)</a></li><li><a href="/tags/python.html">python (1)</a></li><li><a href="/tags/qubesos.html">qubesos (1)</a></li><li><a href="/tags/scheduler.html">scheduler (1)</a></li><li><a href="/tags/tar.html">tar (1)</a></li><li><a href="/tags/unicode.html">unicode (1)</a></li></ul>
-
-<div class="tag-box" id="tag-vpn"><h3>
-        <span>vpn</span>
-        5 entries</h3>
-    <ul><li><a href="/articles/qubes-miragevpn.html">qubes-miragevpn, a MirageVPN client for QubesOS</a></li><li><a href="/articles/miragevpn-server.html">MirageVPN server</a></li><li><a href="/articles/miragevpn-performance.html">Speeding up MirageVPN and use it in the wild</a></li><li><a href="/articles/miragevpn-ncp.html">MirageVPN updated (AEAD, NCP)</a></li><li><a href="/articles/miragevpn.html">MirageVPN &amp; tls-crypt-v2</a></li></ul>
-</div>
-
-        </main>
-    <footer>
-        <a href="https://github.com/xhtmlboi/yocaml">Powered by <strong>YOCaml</strong></a>
-        <br />
-    </footer>
-    <script>hljs.highlightAll();</script>
-  </body>
-</html>
