[emacs] update 5 drones

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

diff --git a/lib/proof-site b/lib/proof-site
index a921439..632a3d7 160000 (submodule)
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit a921439a4eb5b0d96182748e779c78e2f6a41a5f
+Subproject commit 632a3d7f9ded16faaf58e1c0769bcd4f7c8193e3