I mean, if they've been regularly hitting said bug, does it matter how obscure it is? If I were using a tool that was broken for me personally, I'd be ditching it, too; with absolutely zero regard to whether the tool works for others.