Heads up @wide-energy-11069 and IntelliJ friends: I split out http://jenkins.pantsbuild.org/ into a few tabs to make it less noisy. I set Pants CI to the default tab, but made a dedicated tab for IntelliJ CIs