Given those considerations, how would it be most helpful to handle discovered bugs of this sort? I don't want to pester the maintainers about stuff that they already know, but then again, until someone points problems out, they may fall through the cracks...