brian/prod: links for websockets-http-server