Thanks.
I don't know for sure what package fixed this, or how many years ago it really got fixed, but at least the bug is now closed.
Thanks.
I don't know for sure what package fixed this, or how many years ago it really got fixed, but at least the bug is now closed.