altcomp/dev: links for bluespec-language-server