On Sonntag, 4. November 2012, Stefano Zacchiroli wrote: > the missing headers. For Jenkins integration, I suggest to rely on the > header even if it is currently under used; I'd rather fix the > corresponding bugs than working around them relying on Content. my current TODO has a job comparing the two methods to gather that data, and if there is a diff, that job should end as UNSTABLE.