etc/options

--- a/etc/options	Sat Jan 14 19:47:02 2023 +0100
+++ b/etc/options	Sat Jan 14 20:15:09 2023 +0100
@@ -346,6 +346,9 @@
 option update_path_cartouches : bool = false
   -- "update file-system paths to use cartouches"
 
+option update_cite_commands : bool = false
+  -- "update cite commands and antiquotations"
+
 
 section "Build Database"