Thanks for doing this. I originally added the workaround. At the time it seemed sensible to expect a solution from somewhere upstream, and it wasn't quite clear to me just how much trouble the bug was causing. But now this looks like it could make a very significant difference to some users.
Thanks for doing this. I originally added the workaround. At the time it seemed sensible to expect a solution from somewhere upstream, and it wasn't quite clear to me just how much trouble the bug was causing. But now this looks like it could make a very significant difference to some users.