On 10 August 2011 11:22, Marc Glisse wrote: > > Obviously it would need someone willing to implement it... After that it needs to be maintained: if it's implemented naively then everyone who adds a new warning has to include an additional change to add the new warning to the "really all" set, which is an extra (small, but not zero) burden on lots of people, lots of times in the future. It has some value, but it also has some cost.