There's a threshold where it's just easier to write a patch than to file a bug. It's more likely to result in a fix, but it can be more labour intensive. I don't know where the line is. It seems to depend on the community's interest in patches, and whether you have commit privs.