Links for vscode-solidity-server