[emacs] update 3 drones

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

diff --git a/lib/proof-site b/lib/proof-site
index 05df29f..a921439 160000 (submodule)
--- a/lib/proof-site
+++ b/lib/proof-site
@@ -1 +1 @@
-Subproject commit 05df29f7ff065d8da45b81691c602b6cf075e4a0
+Subproject commit a921439a4eb5b0d96182748e779c78e2f6a41a5f