@daniel-beck’s 56da4255 merging #2722 implied that JENKINS-40088 was fixed in 2.42; in fact it is toward 2.46.