Links for galaxy-language-server