PS: See the archives for the discussion of the *.C -> *.cpp rename.
I was going to say this. :-) The conclusion, if any, of those dicussions is that we should do that after the merge of all important branches. If there are not many active branches, I propose that we do it right after beta2. Cheers, Bo
