[Vm-dev] Re: [Box-Admins] Upgrading jenkins; any counterpoints?