Update website content and config

I literally edit them in the ~vern pubnix, which experienced some issues
lately (but no data loss on the home directories is being reported yet).

Signed-off-by: ~ajhalili2006 (vern/ctrl-c) <ajhalili2006@vern.cc>

build.sh

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -xe
+
+TARGET_DIR=${TARGET_DIR:-"$HOME/public_html"}
+
+if ! command -v mkdocs > /dev/null; then
+  pip3 install -r requirements.txt --user
+fi
+
+mkdocs build -d $TARGET_DIR
+
+set +xe