Hi Jens-

We build the installers dynamically using the themes directory in CVS, so I was really only worrying about the released version yesterday, not the CVS version. The files are duplicated simply because I didn't want to force everyone to unjar the themes.jar file each time if they wanted to look at a specific file. On the other side, I didn't want to have to customize the code too much to handle CVS themes -- I preferred to just have it open the themes.jar file just like it does for installed versions.

I don't feel strongly about it in any case, but that was the thinking behind the current structure.