6cf3ba1dcf972672069f0826427619587d32d9e6Tim Reddehase # Server-Instances should be started with the following
6cf3ba1dcf972672069f0826427619587d32d9e6Tim Reddehase # arguments: `hets +RTS -K1G -RTS -a none`
87009975356ac69021bebf6a09e6c3b19dd2008bTim Reddehase default: %w(full-signatures full-theories auto),
6cf3ba1dcf972672069f0826427619587d32d9e6Tim Reddehase arguments = [escaped_iri, *MODE_ARGUMENTS[with_mode]]