There comes a point when so much is broken or in need of changes, especially when most of it’s essentially in one area (in this case, the win32 GTK theme it’s using) that that traditional wisdom (which I normally follow) ceases to be true. I know that were I developing on such a thing I would genuinely prefer one big report to begin with than a large number of tiny bug reports. I might or might not then split it up, depending on how much effort things would be. In this case, I think that most of the issues could be fixed (or mitigated) by one person modifying the theme stylesheet, fairly quickly. Then there are some things that I simply don’t know whether they’re the same underlying thing or not, and splitting them out if they’re the same root cause is a nuisance when you’re a developer—you just end up needing to coalesce them again.