clarified startup of "isabelle vscode": vscodium component is required, with patches for Isabelle/VSCode;