rm -rf aux/

27 files changed, 0 insertions, 1473 deletions

diff --git a/aux/80-columns.sh b/aux/80-columns.sh
deleted file mode 100755
index ae4660e..0000000
--- a/aux/80-columns.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-set -eu
-
-# shellcheck disable=2068
-for f in ${@:-$(cat -)}; do
-	if [ "$(file -i "$f" | cut -d' ' -f2 | cut -d/ -f1)" = 'text' ]; then
-		sed 's/\t/        /g' "$f" |
-			awk -v FNAME="$f" 'length > 80 {
-				printf "%s:%s:%s\n", FNAME, NR, $0
-			}'
-	fi
-done
diff --git a/aux/assert-shellcheck.sh b/aux/assert-shellcheck.sh
deleted file mode 100755
index 40fd364..0000000
--- a/aux/assert-shellcheck.sh
+++ /dev/null
@@ -1,6 +0,0 @@
-#!/bin/sh
-set -eu
-
-find . -name '*.sh' -print0 |
-	xargs -0 awk 'FNR==1 && /^#!\/bin\/sh$/ { print FILENAME }' |
-	xargs shellcheck
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh
deleted file mode 100755
index 2ec0102..0000000
--- a/aux/ci/ci-build.sh
+++ /dev/null
@@ -1,65 +0,0 @@
-#!/bin/sh
-set -eux
-
-PROJECT="$1"
-LOGS_DIR="$2"
-SHA="$3"
-FILENAME="$(date -Is)-$SHA.log"
-LOGFILE="$LOGS_DIR/$FILENAME"
-
-mkdtemp() {
-	name="$(echo 'mkstemp(template)' |
-		m4 -D template="${TMPDIR:-/tmp}/m4-tmpname.")"
-	rm -f "$name"
-	mkdir "$name"
-	echo "$name"
-}
-
-{
-	echo "Starting CI job at: $(date -Is)"
-
-	finish() {
-		STATUS="$?"
-		printf "\n\n>>> exit status was %s\n" "$STATUS"
-		echo "Finishing CI job at: $(date -Is)"
-		cd -
-		NOTE=$(cat <<EOF
-See CI logs with:
-	git notes --ref=refs/notes/ci-logs show $SHA
-	git notes --ref=refs/notes/ci-data show $SHA
-EOF
-)
-		git notes --ref=refs/notes/ci-data add -f -m "$STATUS $FILENAME"
-		git notes --ref=refs/notes/ci-logs add -f -F "$LOGFILE"
-		git notes append -m "$NOTE"
-
-		cd -
-		git fetch origin refs/notes/*:refs/notes/*
-		sh aux/ci/report.sh -n "$PROJECT" -o public
-		rsync -av public/ "/srv/http/$PROJECT/" --delete
-
-		if [ -f aux/guix/with-container.sh ]; then
-			cp "$(sh aux/guix/with-container.sh -C)" \
-				"/srv/http/$PROJECT/docker.tar.gz"
-		fi
-
-		printf '\n>>>\n>>> CI logs added as Git note.\n>>>\n>>> Run status was %s\n>>>\n\n' \
-			"$STATUS"
-	}
-	trap finish EXIT
-
-	unset GIT_DIR
-	REMOTE="$PWD"
-	cd "$(mkdtemp)"
-	git clone "$REMOTE" .
-	git config --global user.email git@euandre.org
-	git config --global user.name 'EuAndreh CI'
-
-	if [ -f aux/guix/with-container.sh ]; then
-		RUNNER='sh aux/guix/with-container.sh'
-	else
-		RUNNER='sh -c'
-	fi
-
-	$RUNNER 'make clean public dev-check'
-} 2>&1 | tee "$LOGFILE"
diff --git a/aux/ci/git-post-receive.sh b/aux/ci/git-post-receive.sh
deleted file mode 100755
index 92bba73..0000000
--- a/aux/ci/git-post-receive.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/sh
-set -eu
-
-for n in $(seq 0 $((GIT_PUSH_OPTION_COUNT - 1))); do
-	opt="$(eval "echo \$GIT_PUSH_OPTION_$n")"
-	if [ "$opt" = skip-ci ] || [ "$opt" = ci-skip ]; then
-		printf "\n'%s' option detected, not running ci-build.sh\n\n" \
-			"$opt"
-		exit 0
-	fi
-done
-
-# shellcheck disable=2034
-read -r _oldrev SHA _refname
-
-PROJECT="$(basename "$PWD" | cut -d. -f1)" # remove .git suffix
-LOGS_DIR="/opt/ci/$PROJECT/logs"
-sh "/opt/ci/$PROJECT/ci-build.sh" "$PROJECT" "$LOGS_DIR" "$SHA" ||:
-
-echo 'To retrigger the build, run:'
-echo "cd /srv/http/$PROJECT.git/"
-echo "sh /opt/ci/$PROJECT/ci-build.sh" "$PROJECT" "$LOGS_DIR" "$SHA"
diff --git a/aux/ci/git-pre-push.sh b/aux/ci/git-pre-push.sh
deleted file mode 100755
index eaaa7bd..0000000
--- a/aux/ci/git-pre-push.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-#!/bin/sh
-set -eux
-
-TLD="$(cat aux/tld.txt)"
-. aux/lib.sh
-
-PROJECT="$(basename "$PWD")"
-LOGS_DIR="/opt/ci/$PROJECT/logs"
-REMOTE_GIT_DIR="/srv/http/$PROJECT.git"
-
-DESCRIPTION="$(mkstemp)"
-if [ -f description ]
-then
-	cp description "$DESCRIPTION"
-else
-	git config euandreh.description > "$DESCRIPTION"
-fi
-
-scp "$DESCRIPTION" "$TLD:$REMOTE_GIT_DIR/description"
-ssh "$TLD" mkdir -p "$LOGS_DIR"
-scp aux/ci/ci-build.sh         "$TLD:$(dirname "$LOGS_DIR")/ci-build.sh"
-scp aux/ci/git-post-receive.sh "$TLD:$REMOTE_GIT_DIR/hooks/post-receive"
diff --git a/aux/ci/report.sh b/aux/ci/report.sh
deleted file mode 100755
index 6f18f0f..0000000
--- a/aux/ci/report.sh
+++ /dev/null
@@ -1,101 +0,0 @@
-#!/bin/sh
-set -eu
-
-TLD="$(cat aux/tld.txt)"
-. aux/lib.sh
-
-while getopts 'n:o:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		o)
-			OUTDIR="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-assert_arg "${OUTDIR:-}"  '-o OUTDIR'
-
-PASS='✅'
-FAIL='❌'
-
-mkdir -p "$OUTDIR/ci-logs" "$OUTDIR/ci-data"
-
-OUT="$(mkstemp)"
-chmod 644 "$OUT"
-
-for c in $(git notes list | cut -d\  -f2); do
-	DATA="$(git notes --ref=refs/notes/ci-data show "$c")"
-	FILENAME="$(echo "$DATA" | cut -d\  -f2)"
-	echo "$DATA" > "$OUTDIR/ci-data/$FILENAME"
-	git notes --ref=refs/notes/ci-logs show "$c" \
-		> "$OUTDIR/ci-logs/$FILENAME"
-done
-
-cat <<EOF >> "$OUT"
-<!DOCTYPE html>
-<html lang="en">
-  <head>
-    <meta charset="UTF-8" />
-    <meta name="viewport"    content="width=device-width, initial-scale=1" />
-    <meta name="description" content="CI logs for $PROJECT" />
-    <link rel="icon" type="image/svg+xml" href="favicon.svg" />
-    <title>$PROJECT - CI logs</title>
-
-    <style>
-      pre {
-        display: inline;
-      }
-      ol {
-        list-style-type: disc;
-      }
-    </style>
-  </head>
-  <body>
-    <main>
-      <h1>
-        CI logs for
-        <a href="https://$TLD/$PROJECT/en/">$PROJECT</a>
-      </h1>
-      <ol>
-EOF
-
-for f in $(find "$OUTDIR/ci-data/" -type f | LANG=C.UTF-8 sort -r); do
-	DATA="$(cat "$f")"
-	STATUS="$(echo "$DATA" | cut -d\  -f1)"
-	FILENAME="$(echo "$DATA" | cut -d\  -f2)"
-
-	if [ "$STATUS" = 0 ]; then
-		STATUS_MARKER="$PASS"
-	else
-		STATUS_MARKER="$FAIL"
-	fi
-
-	cat <<EOF >> "$OUT"
-        <li>
-          <a href="ci-logs/$FILENAME">$STATUS_MARKER <pre>$FILENAME</pre></a>
-        </li>
-EOF
-done
-
-cat <<EOF >> "$OUT"
-      </ol>
-    </main>
-  </body>
-</html>
-EOF
-
-mv "$OUT" "$OUTDIR/ci.html"
diff --git a/aux/guix/manifest.scm b/aux/guix/manifest.scm
deleted file mode 100644
index f670fdd..0000000
--- a/aux/guix/manifest.scm
+++ /dev/null
@@ -1,24 +0,0 @@
-(specifications->manifest
- (map symbol->string
-      '(bash
-        coreutils
-        findutils
-        diffutils
-        grep
-        sed
-        m4
-        git
-        gawk
-        make
-        makefile2graph
-        graphviz
-        shellcheck
-        pandoc
-        gettext
-        po4a-text
-        mdpo-patched
-        hunspell
-        hunspell-dict-en-utf8
-        hunspell-dict-pt-utf8
-        hunspell-dict-fr-utf8
-        hunspell-dict-eo-utf8)))
diff --git a/aux/guix/pinned-channels.scm b/aux/guix/pinned-channels.scm
deleted file mode 100644
index 504406f..0000000
--- a/aux/guix/pinned-channels.scm
+++ /dev/null
@@ -1,11 +0,0 @@
-(cons*
- (channel
-  (name 'xyz-euandreh)
-  (url "git://euandreh.xyz/package-repository")
-  (branch "main")
-  (introduction
-   (make-channel-introduction
-    "d749e053e6db365069cb9b2ef47a78b06f9e7361"
-    (openpgp-fingerprint
-     "5BDA E9B8 B2F6 C6BC BB0D  6CE5 81F9 0EC3 CD35 6060"))))
- %default-channels)
diff --git a/aux/guix/with-container.sh b/aux/guix/with-container.sh
deleted file mode 100755
index 6e19691..0000000
--- a/aux/guix/with-container.sh
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/bin/sh
-set -eu
-
-if [ -z "${1:-}" ]; then
-	guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \
-		environment --fallback -m aux/guix/manifest.scm
-elif [ "$1" = '-p' ]; then
-	guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \
-		environment --fallback -m aux/guix/manifest.scm --pure -C
-elif [ "$1" = '-C' ]; then
-	guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \
-		pack -f docker -S/bin=bin -m aux/guix/manifest.scm -v3
-else
-	guix time-machine --fallback -C aux/guix/pinned-channels.scm -- \
-		environment --fallback -m aux/guix/manifest.scm --pure -C \
-			-- sh -c "$@"
-fi
diff --git a/aux/lib.sh b/aux/lib.sh
deleted file mode 100755
index d64409a..0000000
--- a/aux/lib.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/sh
-
-#
-# Generally, utilities that I expected to exist in POSIX, but don't.
-#
-
-uuid() {
-	# Taken from:
-	# https://serverfault.com/a/799198
-	od -xN20 /dev/urandom |
-		head -1 |
-		awk '{OFS="-"; print $2$3,$4,$5,$6,$7$8$9}'
-}
-
-tmpname() {
-	echo 'mkstemp(template)' | m4 -D template="${TMPDIR:-/tmp}/m4-tmpname."
-}
-
-mkstemp() {
-	name="$(tmpname)"
-	touch "$name"
-	echo "$name"
-}
-
-mkdtemp() {
-	name="$(tmpname)"
-	rm -f "$name"
-	mkdir "$name"
-	echo "$name"
-}
diff --git a/aux/prune-includes.sh b/aux/prune-includes.sh
deleted file mode 100755
index 3a10fa2..0000000
--- a/aux/prune-includes.sh
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/bin/sh
-set -eu
-
-. aux/lib.sh
-
-prune() {
-	file="$1"
-	lines="$(grep -n '^#include ' "$file" | cut -d: -f1)"
-	ORIG="$(mkstemp)"
-	cp "$file" "$ORIG"
-	for line in $lines; do
-		sed "${line}d" "$ORIG" > "$file"
-		if make -e; then
-			prune "$file"
-			break
-		else
-			cp "$ORIG" "$file"
-		fi
-	done
-}
-
-for f in "$@"; do
-	prune "$f"
-done
diff --git a/aux/tld.txt b/aux/tld.txt
deleted file mode 100644
index 0cb8b8b..0000000
--- a/aux/tld.txt
+++ /dev/null
@@ -1 +0,0 @@
-euandreh.xyz
diff --git a/aux/workflow/TODOs.sh b/aux/workflow/TODOs.sh
deleted file mode 100755
index efc0b04..0000000
--- a/aux/workflow/TODOs.sh
+++ /dev/null
@@ -1,71 +0,0 @@
-#!/bin/sh
-set -eu
-
-TLD="$(cat aux/tld.txt)"
-PROJECT_UC=
-while getopts 'n:N:m:o:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		o)
-			OUTDIR="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-assert_arg "${MAILING_LIST:-}" '-m MAILING_LIST'
-assert_arg "${OUTDIR:-}" '-o OUTDIR'
-
-if [ -z "${PROJECT_UC:-}" ]; then
-	PROJECT_UC="$PROJECT"
-fi
-
-
-# shellcheck disable=1004
-IDS_REGEX='s:^## \(TODO\|DOING\|WAITING\|MEETING\|INACTIVE\|NEXT\|CANCELLED\|DONE\|WONTFIX\) \(.*\) {#\(.*\)}\(.*\)$:## <a href="#\3"><span class="\1">\1</span> \2</a>\4\
-<pre class="header-anchor" id="\3">#\3</pre>\
-:g'
-TAGS_REGEX='s|tag:\([a-z0-9-]*\)|<span class="tag">\1</span>|g'
-
-cat aux/workflow/preamble.md TODOs.md |
-	sed \
-		-e "s:@PROJECT_UC@:$PROJECT_UC:g"     \
-		-e "s:@PROJECT@:$PROJECT:g"           \
-		-e "s:@MAILING_LIST@:$MAILING_LIST:g" \
-		-e "s:@TLD@:$TLD:g"                   \
-		-e "$IDS_REGEX"                       \
-		-e "$TAGS_REGEX"                      |
-	pandoc \
-		--toc                                  \
-		--highlight-style pygments             \
-		--toc-depth=2                          \
-		-s                                     \
-		--metadata title="$PROJECT_UC - TODOs" \
-		--metadata lang=en                     \
-		-r commonmark                          \
-		-w html                                \
-		-H aux/workflow/favicon.html           \
-		-H aux/workflow/style.css              |
-	sed \
-		-e 's:<a><a:<a:g'      \
-		-e 's:</a></a>:</a>:g' \
-	> "$OUTDIR/TODOs.html"
diff --git a/aux/workflow/assert-changelog.sh b/aux/workflow/assert-changelog.sh
deleted file mode 100755
index 4acc81b..0000000
--- a/aux/workflow/assert-changelog.sh
+++ /dev/null
@@ -1,66 +0,0 @@
-#!/bin/sh
-set -eu
-
-TLD="$(cat aux/tld.txt)"
-PROJECT_UC=
-while getopts 'n:N:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-
-if [ -z "${PROJECT_UC:-}" ]; then
-	PROJECT_UC="$PROJECT"
-fi
-
-HOMEPAGE_LINK="Changelog for [$PROJECT_UC](https://$TLD/$PROJECT/en/)."
-
-if ! grep -qF "$HOMEPAGE_LINK" CHANGELOG.md; then
-	echo "Missing link to homepage in CHANGELOG.md:" >&2
-	echo "$HOMEPAGE_LINK"
-	exit 1
-fi
-
-assert() {
-	DATE="$1"
-	VVERSION="$2"
-	VERSION="${2#v}"
-	CHANGELOG_ENTRY="$(printf \
-		'# [%s](https://git.euandreh.xyz/%s/commit/?id=%s) - %s' \
-		"$VERSION" "$PROJECT" "$VVERSION" "$DATE")"
-	if ! grep -qF "$CHANGELOG_ENTRY" CHANGELOG.md; then
-		echo "Missing '$CHANGELOG_ENTRY' entry from CHANGELOG.md" >&2
-		exit 1
-	fi
-}
-
-if [ -e .git ]; then
-	for VVERSION in $(git tag); do
-		DATE="$(git log -1 --format=%cd --date=short "$VVERSION")"
-		assert "$DATE" "$VVERSION"
-	done
-fi
-
-# "$@" represents a list of tags to be also included in the verification.
-for VVERSION in "$@"; do
-	DATE="$(date '+%Y-%m-%d')"
-	assert "$DATE" "$VVERSION"
-done
diff --git a/aux/workflow/assert-manpages.sh b/aux/workflow/assert-manpages.sh
deleted file mode 100755
index f9a6807..0000000
--- a/aux/workflow/assert-manpages.sh
+++ /dev/null
@@ -1,220 +0,0 @@
-#!/bin/sh
-set -eu
-
-TLD="$(cat aux/tld.txt)"
-. aux/lib.sh
-
-IN_PLACE=false
-while getopts 'l:n:m:i' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		i)
-			IN_PLACE=true
-			;;
-		l)
-			LANGS="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}"      '-n PROJECT'
-assert_arg "${MAILING_LIST:-}" '-m MAILING_LIST'
-assert_arg "${LANGS:-}"        '-l LANGS'
-
-
-EXPECTED_EN="$(mkstemp)"
-cat <<EOF | sed 's|-|\\-|g' >> "$EXPECTED_EN"
-
-
-.SH AUTHORS
-
-.MT eu@euandre.org
-EuAndreh
-.ME
-and contributors.
-
-
-.SH BUGS
-
-.IP \(bu
-Report bugs to the
-.MT ~euandreh/$MAILING_LIST@lists.sr.ht
-mailing list
-.ME .
-Use the subject "\f(CR[$PROJECT] BUG or TASK:
-<description>\fR".
-.IP \(bu
-Browse bugs
-.UR https://$TLD/$PROJECT/TODOs.html
-online
-.UE .
-.IP \(bu
-.UR https://$TLD/$PROJECT/en/
-Homepage
-.UE .
-.IP \(bu
-.UR https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D
-Comments and discussions
-.UE .
-EOF
-
-EXPECTED_PT="$(mkstemp)"
-cat <<EOF | sed 's|-|\\-|g' >> "$EXPECTED_PT"
-
-
-.SH AUTORES
-
-.MT eu@euandre.org
-EuAndreh
-.ME
-e colaboradores.
-
-
-.SH BUGS
-
-.IP \(bu
-Relate bugs na
-.MT ~euandreh/$MAILING_LIST@lists.sr.ht
-lista de discussão
-.ME .
-Use o assunto "\f(CR[$PROJECT] BUG ou TASK:
-<descrição>\fR".
-.IP \(bu
-Veja os bugs
-.UR https://$TLD/$PROJECT/TODOs.html
-online
-.UE .
-.IP \(bu
-.UR https://$TLD/$PROJECT/pt/
-Página inicial
-.UE .
-.IP \(bu
-.UR https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D
-Comentários e discussões
-.UE .
-EOF
-
-EXPECTED_FR="$(mkstemp)"
-cat <<EOF | sed 's|-|\\-|g' >> "$EXPECTED_FR"
-
-
-.SH AUTEURS
-
-.MT eu@euandre.org
-EuAndreh
-.ME
-et les contributeurs.
-
-
-.SH BUGS
-
-.IP \(bu
-Soumettre un bogue dans la
-.MT ~euandreh/$MAILING_LIST@lists.sr.ht
-liste
-de diffusion
-.ME .
-Utilise le sujet "\f(CR[$PROJECT] BUG ou TASK:
-<description>\fR".
-.IP \(bu
-Parcourir les bogues
-.UR https://$TLD/$PROJECT/TODOs.html
-en
-ligne
-.UE .
-.IP \(bu
-.UR https://$TLD/$PROJECT/fr/
-Page d'accueil
-.UE .
-.IP \(bu
-.UR https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D
-Commentaires et discussions
-.UE .
-EOF
-
-EXPECTED_EO="$(mkstemp)"
-cat <<EOF | sed 's|-|\\-|g' >> "$EXPECTED_EO"
-
-
-.SH AŬTOROJ
-
-.MT eu@euandre.org
-EuAndreh
-.ME
-kaj la kontribuuloj.
-
-
-.SH MISFUNKCIOJ
-
-.IP \(bu
-Raportu misfunkcioj al la
-.MT ~euandreh/$MAILING_LIST@lists.sr.ht
-dissendolisto
-.ME .
-Uzu la subjekton "\f(CR[$PROJECT] BUG aŭ TASK:
-<priskribo>\fR".
-.IP \(bu
-Foliumu misfunkcioj
-.UR https://$TLD/$PROJECT/TODOs.html
-rete
-.UE .
-.IP \(bu
-.UR https://$TLD/$PROJECT/eo/
-Ĉefpaĝo
-.UE .
-.IP \(bu
-.UR https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D
-Komentoj kaj diskutoj
-.UE .
-EOF
-
-
-for from_f in "$@"; do
-	for lang in $LANGS; do
-		case "$lang" in
-			en)
-				EXPECTED="$EXPECTED_EN"
-				;;
-			pt)
-				EXPECTED="$EXPECTED_PT"
-				;;
-			fr)
-				EXPECTED="$EXPECTED_FR"
-				;;
-			eo)
-				EXPECTED="$EXPECTED_EO"
-				;;
-			*)
-				printf 'Unsupported lang: %s\n' "$lang" >&2
-				exit 2
-				;;
-		esac
-
-		f="$(echo "$from_f" | sed "s/\.en\./.$lang./")"
-		if ! tail -n "$(wc -l < "$EXPECTED")" "$f" |
-				diff - "$EXPECTED"; then
-			echo "Missing metadata at the end of \"$f\" file"
-			if [ "$IN_PLACE" = true ]; then
-				cat "$EXPECTED" >> "$f"
-			else
-				exit 1
-			fi
-		fi
-	done
-done
diff --git a/aux/workflow/assert-readme.sh b/aux/workflow/assert-readme.sh
deleted file mode 100755
index 1e49bfb..0000000
--- a/aux/workflow/assert-readme.sh
+++ /dev/null
@@ -1,108 +0,0 @@
-#!/bin/sh
-set -eu
-
-if [ ! -e .git ]; then
-	exit
-fi
-
-TLD="$(cat aux/tld.txt)"
-. aux/lib.sh
-
-while getopts 'n:m:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-assert_arg "${MAILING_LIST:-}" '-m MAILING_LIST'
-
-EXPECTED="$(mkstemp)"
-cat <<EOF >> "$EXPECTED"
-
-For running the extra development-only checks, run:
-
-\`\`\`shell
-$ make dev-check
-\`\`\`
-
-and for generating the documentation HTML and website, run:
-
-\`\`\`shell
-$ make public
-\`\`\`
-
-Send contributions to the [mailing list] via
-[\`git send-email\`](https://git-send-email.io/).
-
-
-## Links
-
-- [homepage](https://$TLD/$PROJECT/en/)
-- [source code](https://git.euandreh.xyz/$PROJECT/)
-- [bug tracking](https://$TLD/$PROJECT/TODOs.html)
-- [mailing list]
-- [CI logs](https://$TLD/$PROJECT/ci.html)
-- [CHANGELOG](https://$TLD/$PROJECT/en/CHANGELOG.html)
-
-[mailing list]: https://lists.sr.ht/~euandreh/$MAILING_LIST?search=%5B$PROJECT%5D
-EOF
-
-RELEASES_LIST="$(mkstemp)"
-add_release() {
-	DATE="$1"
-	VVERSION="$2"
-	echo "- [$VVERSION](https://git.euandreh.xyz/$PROJECT/commit/?id=$VVERSION) [$PROJECT-$VVERSION.tar.gz](https://git.euandreh.xyz/$PROJECT/snapshot/$PROJECT-$VVERSION.tar.gz) ([sig](https://git.euandreh.xyz/$PROJECT/snapshot/$PROJECT-$VVERSION.tar.gz.asc)) - $DATE" >> "$RELEASES_LIST"
-}
-
-for VVERSION in $(git tag); do
-	DATE="$(git log -1 --format=%cd --date=short "$VVERSION")"
-	add_release "$DATE" "$VVERSION"
-done
-
-# "$@" represents a list of tags to be also included in the verification.
-for VVERSION in "$@"; do
-	if ! git tag | grep -qF "$VVERSION"; then
-		DATE="$(date '+%Y-%m-%d')"
-		add_release "$DATE" "$VVERSION"
-	fi
-done
-
-if [ -s "$RELEASES_LIST" ]; then
-	printf '\n\n## Releases\n\n' >> "$EXPECTED"
-	sort -r "$RELEASES_LIST" >> "$EXPECTED"
-fi
-
-cat <<EOF >> "$EXPECTED"
-
-
-## License
-
-The code is licensed under
-[GNU Affero General Public License v3.0 or later][AGPL-3.0-or-later]
-(AGPL-3.0-or-later).
-
-[AGPL-3.0-or-later]: https://git.euandreh.xyz/$PROJECT/tree/COPYING
-EOF
-
-if ! tail -n "$(wc -l < "$EXPECTED")" README.md | diff - "$EXPECTED"; then
-	echo 'Wrong metadata at the end of README.md file'
-	echo "See expected content at: $EXPECTED"
-	exit 1
-fi
diff --git a/aux/workflow/assert-todos.sh b/aux/workflow/assert-todos.sh
deleted file mode 100755
index bc4907d..0000000
--- a/aux/workflow/assert-todos.sh
+++ /dev/null
@@ -1,58 +0,0 @@
-#!/bin/sh
-set -eu
-
-if [ -e .git ] && git grep FIXME | grep -v '^TODOs.md' |
-		grep -v '^aux/workflow/assert-todos.sh'; then
-	echo "Found dangling FIXME markers on the project."
-	echo "You should write them down properly on TODOs.md."
-	exit 1
-fi
-
-awk -F'{#' '
-BEGIN {
-	exitstatus = 0
-	h2flag = 0
-	h2status = ""
-	prevline = ""
-	idx = 0
-	delete ids[0]
-}
-h2flag == 1 {
-	split($0, l, " ")
-	timelinestatus = l[2]
-	if (h2status != timelinestatus) {
-		print "h2/timeline status mismatch for line " NR-1
-		print prevline
-		print $0
-		exitstatus = 1
-	}
-	h2status = ""
-	h2flag = 0
-}
-
-/^## (TODO|DOING|WAITING|MEETING|INACTIVE|NEXT|CANCELLED|DONE|WONTFIX)/ {
-	if (match($0, / \{#.*?\}.*$/) == 0) {
-		print "Missing ID for line " NR ":\n" $0
-		exitstatus = 1
-	}
-	id_with_prefix = substr($2, 0, length($2) - 1)
-	match(id_with_prefix, /^\w+-/)
-	id = substr(id_with_prefix, RLENGTH + 1)
-	if (id in arr) {
-		print "Duplicate ID: " id
-		exitstatus = 1
-	} else {
-		arr[id] = 1
-	}
-
-	split($0, l, " ")
-	h2status = l[2]
-	h2flag = 1
-	prevline = $0
-}
-
-
-/^# Scratch$/ {
-	exit exitstatus
-}
-' TODOs.md
diff --git a/aux/workflow/commonmark.sh b/aux/workflow/commonmark.sh
deleted file mode 100755
index 6f5e59b..0000000
--- a/aux/workflow/commonmark.sh
+++ /dev/null
@@ -1,42 +0,0 @@
-#!/bin/sh
-set -eu
-
-while getopts 'N:t:l:' flag; do
-	case "$flag" in
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		t)
-			TITLE="$OPTARG"
-			;;
-		l)
-			THE_LANG="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT_UC:-}" '-N PROJECT_UC'
-assert_arg "${TITLE:-}"      '-t TITLE'
-assert_arg "${THE_LANG:-}"   '-l THE_LANG'
-
-pandoc \
-	--toc                                   \
-	--highlight-style pygments              \
-	--toc-depth=2                           \
-	-s                                      \
-	--metadata title="$PROJECT_UC - $TITLE" \
-	--metadata "lang=$THE_LANG"             \
-	-r commonmark                           \
-	-w html                                 \
-	-H aux/workflow/favicon.html
diff --git a/aux/workflow/dist.sh b/aux/workflow/dist.sh
deleted file mode 100755
index a433478..0000000
--- a/aux/workflow/dist.sh
+++ /dev/null
@@ -1,99 +0,0 @@
-#!/bin/sh
-set -eu
-
-PROJECT_UC=
-while getopts 'd:V:n:N:m:' flag; do
-	case "$flag" in
-		d)
-			DATE="$OPTARG"
-			;;
-		V)
-			VVERSION="v$OPTARG"
-			;;
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${DATE:-}"         '-d DATE'
-assert_arg "${VVERSION:-}"     '-V VERSION'
-assert_arg "${PROJECT:-}"      '-n PROJECT'
-assert_arg "${MAILING_LIST:-}" '-m MAILING_LIST'
-
-if [ -z "${PROJECT_UC:-}" ]; then
-	PROJECT_UC="$PROJECT"
-fi
-
-
-if [ "$(git rev-parse --abbrev-ref HEAD)" != 'main' ]; then
-	echo 'Not on branch "main".' >&2
-	exit 1
-fi
-
-if git show "$VVERSION" 1>/dev/null 2>/dev/null; then
-	echo "Version '$VVERSION' already exists." >&2
-	exit 1
-fi
-
-if ! printf '%s\n%s\n' "$(git tag)" "$VVERSION" | sort -nct. -k1 -k2 -k3; then
-	echo 'New tag is not bigger than existing ones.' >&2
-	exit 1
-fi
-
-if [ "$DATE" != "$(git log -1 --format=%cd --date=short HEAD)" ]; then
-	echo "Date '$DATE' is not up-to-date." >&2
-	exit 1
-fi
-
-if [ "Release $VVERSION" != "$(git log --format=%B -1 HEAD | head -n1)" ]; then
-	echo "Commit message isn't 'Release $VVERSION'." >&2
-	exit 1
-fi
-
-make clean public dev-check EXTRA_VERSION="$VVERSION"
-
-if ! (git diff --quiet && git diff --quiet --staged); then
-	echo 'Dirty repository.'
-	exit 1
-fi
-
-
-git tag "$VVERSION"
-sh aux/workflow/sign-tarballs.sh -n "$PROJECT"
-
-
-printf 'Publish version? [Y/n]: ' >&2
-read -r publish
-
-if [ "$publish" = 'n' ]; then
-	cat <<EOF >&2
-Now push the tag and the signature before pushing the commit:
-
-git push origin refs/notes/signatures/tar.gz -o skip-ci --no-verify
-git push --tags -o skip-ci --no-verify
-git push
-
-EOF
-else
-	git push origin refs/notes/signatures/tar.gz -o skip-ci --no-verify
-	git push --tags -o skip-ci --no-verify
-	git push
-fi
diff --git a/aux/workflow/favicon.html b/aux/workflow/favicon.html
deleted file mode 100644
index 8f9327c..0000000
--- a/aux/workflow/favicon.html
+++ /dev/null
@@ -1 +0,0 @@
-<link rel="icon" type="image/svg+xml" href="favicon.svg" />
diff --git a/aux/workflow/favicon.svg b/aux/workflow/favicon.svg
deleted file mode 100644
index ce566b2..0000000
--- a/aux/workflow/favicon.svg
+++ /dev/null
@@ -1,62 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" width="16" height="16">
-  <path d="M 0  8  L 1  8  L 1  9  L 0  9  L 0  8  Z" />
-  <path d="M 0  13 L 1  13 L 1  14 L 0  14 L 0  13 Z" />
-  <path d="M 1  8  L 2  8  L 2  9  L 1  9  L 1  8  Z" />
-  <path d="M 1  13 L 2  13 L 2  14 L 1  14 L 1  13 Z" />
-  <path d="M 2  8  L 3  8  L 3  9  L 2  9  L 2  8  Z" />
-  <path d="M 2  13 L 3  13 L 3  14 L 2  14 L 2  13 Z" />
-  <path d="M 3  8  L 4  8  L 4  9  L 3  9  L 3  8  Z" />
-  <path d="M 3  13 L 4  13 L 4  14 L 3  14 L 3  13 Z" />
-  <path d="M 4  7  L 5  7  L 5  8  L 4  8  L 4  7  Z" />
-  <path d="M 4  8  L 5  8  L 5  9  L 4  9  L 4  8  Z" />
-  <path d="M 4  13 L 5  13 L 5  14 L 4  14 L 4  13 Z" />
-  <path d="M 5  6  L 6  6  L 6  7  L 5  7  L 5  6  Z" />
-  <path d="M 5  7  L 6  7  L 6  8  L 5  8  L 5  7  Z" />
-  <path d="M 5  13 L 6  13 L 6  14 L 5  14 L 5  13 Z" />
-  <path d="M 6  5  L 7  5  L 7  6  L 6  6  L 6  5  Z" />
-  <path d="M 6  6  L 7  6  L 7  7  L 6  7  L 6  6  Z" />
-  <path d="M 6  14 L 7  14 L 7  15 L 6  15 L 6  14 Z" />
-  <path d="M 7  1  L 8  1  L 8  2  L 7  2  L 7  1  Z" />
-  <path d="M 7  14 L 8  14 L 8  15 L 7  15 L 7  14 Z" />
-  <path d="M 7  15 L 8  15 L 8  16 L 7  16 L 7  15 Z" />
-  <path d="M 7  2  L 8  2  L 8  3  L 7  3  L 7  2  Z" />
-  <path d="M 7  3  L 8  3  L 8  4  L 7  4  L 7  3  Z" />
-  <path d="M 7  4  L 8  4  L 8  5  L 7  5  L 7  4  Z" />
-  <path d="M 7  5  L 8  5  L 8  6  L 7  6  L 7  5  Z" />
-  <path d="M 8  1  L 9  1  L 9  2  L 8  2  L 8  1  Z" />
-  <path d="M 8  15 L 9  15 L 9  16 L 8  16 L 8  15 Z" />
-  <path d="M 9  1  L 10 1  L 10 2  L 9  2  L 9  1  Z" />
-  <path d="M 9  2  L 10 2  L 10 3  L 9  3  L 9  2  Z" />
-  <path d="M 9  6  L 10 6  L 10 7  L 9  7  L 9  6  Z" />
-  <path d="M 9  15 L 10 15 L 10 16 L 9  16 L 9  15 Z" />
-  <path d="M 10 2  L 11 2  L 11 3  L 10 3  L 10 2  Z" />
-  <path d="M 10 3  L 11 3  L 11 4  L 10 4  L 10 3  Z" />
-  <path d="M 10 4  L 11 4  L 11 5  L 10 5  L 10 4  Z" />
-  <path d="M 10 5  L 11 5  L 11 6  L 10 6  L 10 5  Z" />
-  <path d="M 10 6  L 11 6  L 11 7  L 10 7  L 10 6  Z" />
-  <path d="M 11 6  L 12 6  L 12 7  L 11 7  L 11 6  Z" />
-  <path d="M 11 8  L 12 8  L 12 9  L 11 9  L 11 8  Z" />
-  <path d="M 10 15 L 11 15 L 11 16 L 10 16 L 10 15 Z" />
-  <path d="M 11 10 L 12 10 L 12 11 L 11 11 L 11 10 Z" />
-  <path d="M 11 12 L 12 12 L 12 13 L 11 13 L 11 12 Z" />
-  <path d="M 11 14 L 12 14 L 12 15 L 11 15 L 11 14 Z" />
-  <path d="M 11 15 L 12 15 L 12 16 L 11 16 L 11 15 Z" />
-  <path d="M 12 6  L 13 6  L 13 7  L 12 7  L 12 6  Z" />
-  <path d="M 12 8  L 13 8  L 13 9  L 12 9  L 12 8  Z" />
-  <path d="M 12 10 L 13 10 L 13 11 L 12 11 L 12 10 Z" />
-  <path d="M 12 12 L 13 12 L 13 13 L 12 13 L 12 12 Z" />
-  <path d="M 12 14 L 13 14 L 13 15 L 12 15 L 12 14 Z" />
-  <path d="M 13 6  L 14 6  L 14 7  L 13 7  L 13 6  Z" />
-  <path d="M 13 8  L 14 8  L 14 9  L 13 9  L 13 8  Z" />
-  <path d="M 13 10 L 14 10 L 14 11 L 13 11 L 13 10 Z" />
-  <path d="M 13 12 L 14 12 L 14 13 L 13 13 L 13 12 Z" />
-  <path d="M 13 13 L 14 13 L 14 14 L 13 14 L 13 13 Z" />
-  <path d="M 13 14 L 14 14 L 14 15 L 13 15 L 13 14 Z" />
-  <path d="M 14 7  L 15 7  L 15 8  L 14 8  L 14 7  Z" />
-  <path d="M 14 8  L 15 8  L 15 9  L 14 9  L 14 8  Z" />
-  <path d="M 14 9  L 15 9  L 15 10 L 14 10 L 14 9  Z" />
-  <path d="M 14 10 L 15 10 L 15 11 L 14 11 L 14 10 Z" />
-  <path d="M 14 11 L 15 11 L 15 12 L 14 12 L 14 11 Z" />
-  <path d="M 14 12 L 15 12 L 15 13 L 14 13 L 14 12 Z" />
-</svg>
diff --git a/aux/workflow/l10n.sh b/aux/workflow/l10n.sh
deleted file mode 100755
index cf687aa..0000000
--- a/aux/workflow/l10n.sh
+++ /dev/null
@@ -1,75 +0,0 @@
-#!/bin/sh
-set -eu
-
-LANGS=
-while getopts 'l:L:' flag; do
-	case "$flag" in
-		l)
-			LANGS="$OPTARG"
-			;;
-		L)
-			CONTRIBLANGS="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${LANGS:-}" '-l LANGS'
-
-for from_f in "$@"; do
-	for lang in $LANGS ${CONTRIBLANGS:-}; do
-		to_f="$(echo "$from_f" | sed "s/\.en\./.$lang./")"
-		printf 'Generating %s...\n' "$to_f" >&2
-		pofile="po/LC_MESSAGES/$from_f/$lang.po"
-		mkdir -p "$(dirname "$pofile")"
-
-		case "$from_f" in
-			*.en.[1-9].in)
-				po4a-updatepo -f man -m "$from_f" -p "$pofile"
-				po4a-translate -f man -m "$from_f" \
-					-p "$pofile" -l "$to_f" -k 0 -v >&2
-				;;
-			*.en.html)
-				po4a-updatepo -f xhtml -m "$from_f" -p "$pofile"
-				po4a-translate -f xhtml -m "$from_f" \
-					-p "$pofile" -l "$to_f" -k 0 -v >&2
-				;;
-			*.en.md)
-				touch "$pofile"
-				md2po --include-codeblocks --quiet --save \
-					--po-filepath "$pofile" < "$from_f"
-				po2md --pofiles "$pofile" --save "$to_f" \
-					--quiet --wrapwidth 999 < "$from_f"
-				;;
-			*)
-				echo "Unsupported file format: $from_f" >&2
-				exit 2
-				;;
-		esac
-	done
-done
-
-end="\033[0m"
-yellowb="\033[1;33m"
-for lang in $LANGS; do
-	# shellcheck disable=2044
-	for pofile in $(find po/ -type f -name "$lang.po"); do
-		if ! LANG=POSIX msgfmt --statistics "$pofile" 2>&1 |
-				grep untranslated; then
-			continue
-		fi
-		# shellcheck disable=2059
-		printf "\n  ${yellowb}WARNING${end}!" >&2
-		printf "\n  Missing translations for %s\n\n" "$pofile" >&2
-	done
-done
diff --git a/aux/workflow/preamble.md b/aux/workflow/preamble.md
deleted file mode 100644
index ee32d58..0000000
--- a/aux/workflow/preamble.md
+++ /dev/null
@@ -1,14 +0,0 @@
-# About
-
-TODOs for [@PROJECT_UC@](https://@TLD@/@PROJECT@/en/).
-
-Register a new one at
-<span id="new">[~euandreh/@MAILING_LIST@@lists.sr.ht](mailto:~euandreh/@MAILING_LIST@@lists.sr.ht?subject=%5B@PROJECT@%5D%20BUG%20or%20TASK%3A%20%3Cdescription%3E)</span>
-and see [existing discussions](https://lists.sr.ht/~euandreh/@MAILING_LIST@?search=%5B@PROJECT@%5D).
-
-*Você também pode escrever em português*.
-
-*Vous pouvez aussi écrire en français*.
-
-*Vi povas ankaŭ skribi esperante*.
-
diff --git a/aux/workflow/public.sh b/aux/workflow/public.sh
deleted file mode 100755
index 38613de..0000000
--- a/aux/workflow/public.sh
+++ /dev/null
@@ -1,59 +0,0 @@
-#!/bin/sh
-set -eu
-
-PROJECT_UC=
-while getopts 'n:N:m:o:l:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		N)
-			PROJECT_UC="$OPTARG"
-			;;
-		m)
-			MAILING_LIST="$OPTARG"
-			;;
-		o)
-			OUTDIR="$OPTARG"
-			;;
-		l)
-			LANGS="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}"            '-n PROJECT'
-assert_arg "${MAILING_LIST:-}"       '-m MAILING_LIST'
-assert_arg "${OUTDIR:-}"             '-o OUTDIR'
-assert_arg "${LANGS:-}"              '-l LANGS'
-PROJECT_UC="${PROJECT_UC:-$PROJECT}"
-
-mkdir -p "$OUTDIR"
-
-sh aux/workflow/TODOs.sh \
-	-N "$PROJECT_UC" -n "$PROJECT" -m "$MAILING_LIST" -o "$OUTDIR"
-
-for lang in $LANGS; do
-	mkdir -p "$OUTDIR/$lang/"
-	sh aux/workflow/commonmark.sh -N "$PROJECT" -t README    -l "$lang" \
-		< "README.$lang.md"    > "$OUTDIR/$lang/index.html"
-	sh aux/workflow/commonmark.sh -N "$PROJECT" -t CHANGELOG -l "$lang" \
-		< "CHANGELOG.$lang.md" > "$OUTDIR/$lang/CHANGELOG.html"
-	ln -fs ../favicon.svg "$OUTDIR/$lang"
-done
-
-ln -fs en/index.html "$OUTDIR/index.html"
-cp aux/workflow/favicon.svg "$OUTDIR"
-
-sh aux/ci/report.sh -n "$PROJECT" -o "$OUTDIR"
diff --git a/aux/workflow/repocheck.sh b/aux/workflow/repocheck.sh
deleted file mode 100755
index 688410a..0000000
--- a/aux/workflow/repocheck.sh
+++ /dev/null
@@ -1,184 +0,0 @@
-#!/bin/sh
-set -eu
-
-if [ -n "${RECURSIVE_CHECK:-}" ]; then
-	exit
-fi
-export RECURSIVE_CHECK=true
-
-. aux/lib.sh
-
-REPODIR="$PWD"
-
-INSTALLCHECK=false
-while getopts 'x:l:f:' flag; do
-	case "$flag" in
-		x)
-			EXECUTABLES="$OPTARG"
-			INSTALLCHECK=true
-			;;
-		l)
-			SYMLINKS="$OPTARG"
-			INSTALLCHECK=true
-			;;
-		f)
-			FILES="$OPTARG"
-			INSTALLCHECK=true
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-assert_no_diffs() {
-	if [ -n "$(git status -s)" ]; then
-		echo 'Repository left dirty.' >&2
-		git status >&2
-		exit 1
-	fi
-}
-
-assert_installed_files() {
-	if [ -n "${EXECUTABLES:-}" ]; then
-		ACTUAL="$(find "$1" -type f -perm -u=x | wc -l)"
-		if [ "$EXECUTABLES" != "$ACTUAL" ]; then
-			printf 'Expected %s executables, found %s:\n' \
-				"$EXECUTABLES" "$ACTUAL" >&2
-			echo "find $1 -type f -perm -u=x:" >&2
-			find "$1" -type f -perm -u=x >&2
-			exit 1
-		fi
-	fi
-
-	if [ -n "${SYMLINKS:-}" ]; then
-		ACTUAL="$(find "$1" -type l | wc -l)"
-		if [ "$SYMLINKS" != "$ACTUAL" ]; then
-			printf 'Expected %s symlinks, found %s:\n' \
-				"$SYMLINKS" "$ACTUAL" >&2
-			echo "find $1 -type l:" >&2
-			find "$1" -type l >&2
-			exit 1
-		fi
-	fi
-
-	if [ -n "${FILES:-}" ]; then
-		ACTUAL="$(find "$1" -type f | wc -l)"
-		if [ "$FILES" != "$ACTUAL" ]; then
-			printf 'Expected %s files, found %s:\n' \
-				"$FILES" "$ACTUAL" >&2
-			echo "find $1 -type f:" >&2
-			find "$1" -type f >&2
-			exit 1
-		fi
-	fi
-}
-
-assert_uninstalled_files() {
-	if [ "$(find "$1" \( -type f -o -type l \) | wc -l)" != 0 ]; then
-		echo 'Left-over files after uninstall' >&2
-		echo "find $1 \( -type f -o -type l \):"
-		find "$1" \( -type f -o -type l \)
-		exit 1
-	fi
-}
-
-assert_install() {
-	if [ "$INSTALLCHECK" != 'true' ]; then
-		return
-	fi
-
-	make clean
-
-	echo 'Asserting "canonical" install path' >&2
-	INSTALL1="$(mkdtemp)"
-	make                         PREFIX="$INSTALL1"
-	make check                   PREFIX="$INSTALL1"
-	make install                 PREFIX="$INSTALL1"
-	assert_installed_files              "$INSTALL1"
-	make uninstall               PREFIX="$INSTALL1"
-	assert_uninstalled_files            "$INSTALL1"
-
-	make clean
-
-	echo 'Asserting "straigh-forward" install path' >&2
-	INSTALL2="$(mkdtemp)"
-	make install                 PREFIX="$INSTALL2"
-	assert_installed_files              "$INSTALL2"
-	make uninstall               PREFIX="$INSTALL2"
-	assert_uninstalled_files            "$INSTALL2"
-
-	make clean
-
-	echo 'Asserting "idempotent" install path' >&2
-	INSTALL3="$(mkdtemp)"
-	make install                 PREFIX="$INSTALL3"
-	make install                 PREFIX="$INSTALL3"
-	assert_installed_files              "$INSTALL3"
-	make uninstall               PREFIX="$INSTALL3"
-	make uninstall               PREFIX="$INSTALL3"
-	assert_uninstalled_files            "$INSTALL3"
-
-	make clean
-
-	echo 'Asserting "destdir" install path' >&2
-	DESTDIR="$(mkdtemp)"
-	INSTALL4="$(mkdtemp)"
-	make install                 DESTDIR="$DESTDIR" PREFIX="$INSTALL4"
-	assert_installed_files               "$DESTDIR/$INSTALL4"
-	make uninstall               DESTDIR="$DESTDIR" PREFIX="$INSTALL4"
-	assert_uninstalled_files             "$DESTDIR/$INSTALL4"
-}
-
-assert_clean_clone() {
-	CLONEDIR="$(mkdtemp)"
-	cd "$CLONEDIR"
-
-	git clone "$REPODIR" .
-
-	make clean public dev-check
-	assert_no_diffs
-	make clean
-	assert_no_diffs
-
-	if [ -n "$(git clean -ffdx --dry-run)" ]; then
-		echo '"make clean" left files:' >&2
-		git clean -ffdx --dry-run >&2
-		echo "Clone directory: $CLONEDIR" >&2
-		exit 1
-	fi
-
-	rm -rf aux/
-	make clean check || {
-		echo 'Cannot run "make check" without "aux/".' >&2
-		echo "Clone directory: $CLONEDIR" >&2
-		exit 1
-	}
-
-	assert_install
-
-	cd - > /dev/null
-}
-
-assert_clean_checkout() {
-	CHECKOUTDIR="$(mkdtemp)"
-	git --work-tree="$CHECKOUTDIR" checkout HEAD -- .
-	cd "$CHECKOUTDIR"
-
-	FILECOUNT="$(find . -type f | wc -l)"
-	make clean public dev-check
-	make clean
-	if [ "$FILECOUNT" != "$(find . -type f | wc -l)" ]; then
-		echo 'File count mismatch after "make clean".' >&2
-		echo "Checkout directory: $CHECKOUTDIR" >&2
-		exit 1
-	fi
-
-	assert_install
-
-	cd - > /dev/null
-}
-
-assert_clean_clone
-assert_clean_checkout
diff --git a/aux/workflow/sign-tarballs.sh b/aux/workflow/sign-tarballs.sh
deleted file mode 100755
index 3ab2bb8..0000000
--- a/aux/workflow/sign-tarballs.sh
+++ /dev/null
@@ -1,38 +0,0 @@
-#!/bin/sh
-set -eu
-
-while getopts 'n:' flag; do
-	case "$flag" in
-		n)
-			PROJECT="$OPTARG"
-			;;
-		*)
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND -1))
-
-assert_arg() {
-	if [ -z "$1" ]; then
-		echo "Missing $2" >&2
-		exit 2
-	fi
-}
-
-assert_arg "${PROJECT:-}" '-n PROJECT'
-
-
-SIGNATURES="$(git notes --ref=refs/notes/signatures/tar.gz list | cut -d\  -f2)"
-for tag in $(git tag); do
-	COMMIT="$(git rev-list -n1 "$tag")"
-	if echo "$SIGNATURES" | grep -qF "$COMMIT"; then
-		continue
-	fi
-	echo "Adding missing signature to $tag" >&2
-	git notes --ref=refs/notes/signatures/tar.gz add -C "$(
-		git archive --format tar.gz --prefix "$PROJECT-$tag/" "$tag" |
-		gpg --output - --armor --detach-sign |
-		git hash-object -w --stdin
-	)" "$tag"
-done
diff --git a/aux/workflow/style.css b/aux/workflow/style.css
deleted file mode 100644
index d72991e..0000000
--- a/aux/workflow/style.css
+++ /dev/null
@@ -1,41 +0,0 @@
-<style>
-	hr {
-		background-color: #ccc;
-	}
-
-	.header-anchor {
-		opacity: 0.5;
-	}
-
-	.tag {
-		font-family: monospace;
-		font-size: 70%;
-		background-color: lightgray;
-		padding: 3px;
-		border-radius: 5px;
-	}
-
-	.TODO {
-		color: brown;
-	}
-
-	.DOING {
-		color: yellowgreen;
-	}
-
-	.WAITING, .MEETING {
-		color: orange;
-	}
-
-	.INACTIVE {
-		color: gray;
-	}
-
-	.NEXT {
-		color: red;
-	}
-
-	.CANCELLED, .DONE, .WONTFIX {
-		color: green;
-	}
-</style>