Hi everyone, This is about http://updates.jenkins-ci.org/release-history.json Are there any known consumers for that file except jenkins.io/release.rss (which also drives @jenkins_release on Twitter)? Thanks! Daniel