isabelle vscode_server does not support vscode_html_output

[christiankissig]

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?

[Treeniks]

From what I understand, this repository does not use the original Isabelle VSCode language server, but instead the modified language server of isabelle-emacs. That one at least does have a vscode_html_output option as well as the PIDE/progress and PIDE/progress_request messages which are also missing otherwise.