Thank you for the great extension.
I am using this plugin with VSCodium to edit code for Isabelle/HOL.
The latest 2022 version of Isabelle/HOL bundles the VSCodium (not VSCode) to edit the code.
VSCodium, as you might know, could not retrieve the extension from vscode marketplace.
The editor only retrieve the extension from OpenVSX.
Please consider uploading the extension to OpenVSX.