The previous mail is an update to the original patch in v3 with a header name fix in scripts/tracetool.
Please tell me if you prefer to have the whole fixed series in a new v4. Lluis -- "And it's much the same thing with knowledge, for whenever you learn something new, the whole world becomes that much richer." -- The Princess of Pure Reason, as told by Norton Juster in The Phantom Tollbooth
