[emacs] update 12 drones

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

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