I have not used any of those documents ever, so I don't think there's
any value in them.

They will stay in git history for posterity.

howto.md

@@ -32,14 +32,3 @@ various procedures not necessarily associated with a specific service.
  * [retire-a-user](howto/retire-a-user)
  * [upgrades](howto/upgrades)
  * [yubikey](howto/yubikey)
-
-## old
-
-Those are old docs that should be destroyed or merged above.
-
-<!-- update with `ls -d old/*.md | sed 's/.md$//;s/\(.*\)/ * [\1](old\/\1)/'` -->
-
- * [new-kvm-virsh-vm](old/new-kvm-virsh-vm)
- * [new-machine-nondebian](old/new-machine-nondebian)
- * [new-machine.orig](old/new-machine.orig)
- * [new-vm-rethem](old/new-vm-rethem)