Thanks for Alberto and Francis for getting Jenkins back in full... If anyone knows how to do a quick test run of a demo server/shell or two as part of CI, please get it in there... On several occasions recently we've had merge proposals pass all tests but cause demo servers to crash or hang. So that sounds like a good test to automate. - Daniel