Especially
since such a change won't really lead to conflict since it
only change a couple lines at the beginning/end of each file and it's
also pretty easy to do with a script. (I did it in like 10 min).
Good. Can you commit this?
Holger, can I get a ack on this ?
Cheers,
Sylvain