[emacs] update 7 drones

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

diff --git a/lib/proof-site b/lib/proof-site
index 52d1f92..b7f17b7 160000 (submodule)
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 52d1f920a6565fc1c3793d4f70b990ca343dc0d0
+Subproject commit b7f17b7ca09276be5cd29263bd5574fdd6fa4d2c