Eric Hodel wrote:
> You haven't filed a bug so we can track and fix it.

I know, I just thought I'd ask the community if there's something I
should investigate first, before I bother you with a ticket... I'll go
ahead and file a bug for it.

Thanks!
Jeff