> I prefer the latter. Who should that be done? I don't have SVN access, > should I ask some one to rename? I meant "How should that be done?", sorry..