Comment 74 for bug 1731459

Thanks for your efforts @gunnarhj. I'm glad that the fix helps many users. If I come across any hack that solves the issue on my machine, I'll update here.