add Android build; remove bulk video compression as it's impractical

postvite-build.js

@@ -0,0 +1,16 @@
+import fs from "node:fs/promises";
+import { join as joinPath } from "node:path";
+
+function isVideo(file) {
+  return /\.(mp4|mkv|mov|webm|avi|m4v)$/i.test(file);
+}
+
+async function removeAllVideos(dir) {
+  for (const entry of await fs.readdir(dir)) {
+    if (isVideo(entry)) {
+      await fs.unlink(joinPath(dir, entry));
+    }
+  }
+}
+
+await removeAllVideos("docs/.vitepress/dist");