Also, technically this isn't a Mafia bug so much as a change in infrastructure combined with a third-party tool relying on an unstable implicit API, namely the HTML formatting of the current version of Jenkins. (If I felt strongly enough, I'd move this thread to the Community Support section, or...