[emacs] update 9 drones and remove general

[~bandali/configs] / lib / proof-site

diff --git a/lib/proof-site b/lib/proof-site
index 9578625..69066bf 160000 (submodule)
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 95786256fc32ad6881b4d95d98b5b41acd171fc9
+Subproject commit 69066bf2cb97d6df74a069c3e90155e43353a2a0