Links for stan-language-server