Links for vscode-extensions-maximedenes-vscoq