[jdance]

Without the work of the author this bug would still not be fixed. So credit for that work (which seemed quite involved) would be fair and natural, no?

I am surprised and a bit sad at so many comments questioning the author