@ipstenu: Thanks, that helped (they were different).
But one other thing might also lead to this issue: I’m using PHP-APC, and I’m thinking that for some reason the existing cache isn’t getting invalidated or something.
The reason: if I restart my web server (lighttpd) then the themes are as they should be. (Sometime when I ‘Visit Site’ it still has the old theme.)
