[emacs] update 12 drones

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

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