etc/options

--- a/etc/options	Sun Nov 06 12:54:46 2022 +0100
+++ b/etc/options	Sun Nov 06 15:28:56 2022 +0100
@@ -178,9 +178,6 @@
 option build_pide_reports : bool = true
   -- "report PIDE markup (in batch build)"
 
-option pide_presentation : bool = false
-  -- "presentation of consolidated theories in PIDE"
-
 
 section "Editor Session"