Well, it is up to you. However we had a related discussion last week, and I was under impression that we'll switch to the new style even before the New Year. I'm just not sure that we should create irrelevant headers for new files if we're already going to replace them with new ones...