michaelg/dev: links for mcp-jenkins-server