Links for bluespec-language-server