[emacs] update 4 drones

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

diff --git a/lib/proof-site b/lib/proof-site
index 883ce2f..ebb55c9 160000 (submodule)
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 883ce2ff1092003b6341cfebd1d7b2ab31239a41
+Subproject commit ebb55c998867fd13f8767a52a9542447347f7dc1