From 0c22759bee7fa13a1084f00c519ae69d82c93384 Mon Sep 17 00:00:00 2001
From: grunweg <rothgang@math.uni-bonn.de>
Date: Thu, 10 Oct 2024 17:05:16 +0200
Subject: [PATCH] chore(lean.bib): restore comment explaining how to run
 bibtool (#538)

---
 lean.bib | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lean.bib b/lean.bib
index 3fbf535a8..5534adb93 100644
--- a/lean.bib
+++ b/lean.bib
@@ -1,4 +1,6 @@
 
+# To normalize:
+# bibtool --preserve.key.case=on --preserve.keys=on --pass.comments=on --print.use.tab=off -s -i lean.bib -o lean.bib
 @InProceedings{   AGLST23,
   author        = {Avigad, Jeremy and Goldberg, Lior and Levit, David and
                   Seginer, Yoav and Titelman, Alon},