chore: switch to umami, upgrade Vuepress, add search feature

docs/.vuepress/config.ts

@@ -1,5 +1,8 @@
-import { defineUserConfig, defaultTheme } from 'vuepress';
+import { defaultTheme } from '@vuepress/theme-default';
-import { removeHtmlExtensionPlugin } from 'vuepress-plugin-remove-html-extension';
+import { defineUserConfig } from 'vuepress';
+import { viteBundler } from '@vuepress/bundler-vite';
+import { searchProPlugin } from 'vuepress-plugin-search-pro';
+
 import head from './head';
 
 export default defineUserConfig({
@@ -15,7 +18,12 @@ export default defineUserConfig({
       level: [1, 2, 3, 4, 5],
     },
   },
-  plugins: [removeHtmlExtensionPlugin()],
+  plugins: [
+    searchProPlugin({
+      indexContent: true,
+    }),
+  ],
+  bundler: viteBundler({}),
   theme: defaultTheme({
     sidebarDepth: 5,
     repo: 'https://labs.phundrak.com/phundrak/conlang.phundrak.com',

docs/.vuepress/head.ts

@@ -3,16 +3,12 @@ interface SimplifiedHeader {
   content: [any];
 }
 
-const matomoTrackingCode = `var _paq = window._paq = window._paq || [];
+const matomoTrackingCode = `<script async
-_paq.push(['trackPageView']);
+        src="https://umami.phundrak.com/script.js"
-_paq.push(['enableLinkTracking']);
+        data-website-id="dda1ea7b-086e-49b0-9cab-517314212ac5"
-(function() {
+        data-do-not-track="true"
-  var u="https://matomo.phundrak.com/";
+>
-  _paq.push(['setTrackerUrl', u+'matomo.php']);
+</script>`;
-  _paq.push(['setSiteId', '4']);
-  var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0];
-  g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s);
-})();`;
 
 const simplifiedHead = [
   {

docs/about.org

@@ -52,16 +52,25 @@ possible to store Flash cookies or local shared objects.
 
 This site does not use them at all.
 
+** Is there any analytics on this website?
+Yes, but here’s the catch: I use a self-hosted [[https://umami.is/][umami]] instance to track
+what happens on this website. This service uses no cookies, is fully
+GDPR and CCPA compliant, and completely anonymises you. I just know
+that someone went on such or such web page, but I have no way of
+knowing that the same person went on this then that page. Your privacy
+is completely respected.
+
+If you still want to block tracking, you can add =umami.phundrak.com= to
+the list of domains blocked by uBlock Origin (the only adblocker I’ll
+ever trust).
+
 ** Is there targeted advertisement on this website?
 There’s no advertisement to begin with. If you see any, check your
 computer and browser for virus, that is not normal.
 
 ** How often is this page updated?
 It is updated from time to time to reflect any changes in how my
-website behaves, or if I notice errors on this page (such as typos). I
+website behaves, or if I notice errors on this page (such as typos).
-might add some user tracking, however don’t worry, Matomo (the service
-I would use) would only track you on this website and this website
-only. Matomo respects the privacy of a website’s users.
 
 You can see the last update of this page by looking at the last
 modification of the file =about.org= on [[https://labs.phundrak.com/phundrak/conlang.phundrak.com/src/branch/main/docs][this page]].

package.json

@@ -14,9 +14,9 @@
   "author": "Lucien Cartier-Tilet <lucien@phundrak.com>",
   "license": "AGPL-3.0",
   "devDependencies": {
-    "vuepress": "2.0.0-beta.63"
+    "@vuepress/bundler-vite": "^2.0.0-rc.2",
-  },
+    "@vuepress/theme-default": "2.0.0-rc.2",
-  "dependencies": {
+    "vuepress": "2.0.0-rc.2",
-    "vuepress-plugin-remove-html-extension": "^0.1.0"
+    "vuepress-plugin-search-pro": "^2.0.0-rc.15"
   }
 }