Stuff related to the actual Jenkins website used by Boost