is there some reason why the theme is called "Pharo 3" and "Pharo3 Dark"… I mean we are about to start Pharo 6 so maybe it should just be "Pharo Dark" and "Pharo Light" (or "Pharo" or "Pharo Default" or whatever)

Peter