[turtlebits]

It doesn't matter how much time was spent. Maybe maintainer could have solved it in hours/minutes if a bug report was filed. What ultimately remains is that the maintainer is responsible for the code, which often times is a much larger burden than submitting a fix.

Take what credit you received, appreciate the learning experience and move on.

[foldr]

A bug report for this issue had already been filed, and years had passed without it being fixed.