etc/options

 option build_database_host : string = "" for connection
 option build_database_port : int = 0 for connection
 option build_database_ssh_host : string = "" for connection
 option build_database_ssh_user : string = "" for connection
 option build_database_ssh_port : int = 0 for connection
-option build_database_synchronous_commit : string = "off" (standard "on") for connection
-  -- "see https://www.postgresql.org/docs/current/runtime-config-wal.html#GUC-SYNCHRONOUS-COMMIT"
 
 
 section "Build Log Database"
 
 option build_log_database_user : string = "" for connection

 option build_log_database_port : int = 0 for connection
 option build_log_ssh_host : string = "" for connection
 option build_log_ssh_user : string = "" for connection
 option build_log_ssh_port : int = 0 for connection
 option build_log_history : int = 30  -- "length of relevant history (in days)"
-option build_log_database_synchronous_commit : string = "off" (standard "on") for connection
-  -- "see https://www.postgresql.org/docs/current/runtime-config-wal.html#GUC-SYNCHRONOUS-COMMIT"
 
 
 section "Isabelle/Scala/ML system channel"
 
 option system_channel_address : string = "" for connection