isabelle vscode_server does not support vscode_html_output #3
Description
coc-isabelle defaults to setting the vscode_html_output option to false here https://github.com/ThreeFx/coc-isabelle/blob/main/src/index.ts#L23
if (!config.get<boolean>('useHtmlOutput', false)) {
extraArgs.push('-o', 'vscode_html_output=false')
}but the VSCode extension of Isabelle doesn't support the option
https://github.com/seL4/isabelle/blob/master/src/Tools/VSCode/etc/options
so that the command line, the plugin composes, breaks with this output
❯ isabelle vscode_server -o vscode_html_output=false
Content-Length: 176
{"jsonrpc":"2.0","method":"window/showMessage","params":{"type":1,"message":"Unknown option \"vscode_html_output\"\nThe error(s) above occurred in command-line option \"-o\""}}*** Unknown option "vscode_html_output"
*** The error(s) above occurred in command-line option "-o"
I'm using
❯ isabelle version
Isabelle2023
What am I missing?