No, I didn't try nice or any other priority tinkering. Mainly because I'm not really
knowledgeable about the fine details. But also because I presume that if this were a simple
case of changing priorities, then the bug could be fixed, but people have worked hard to no
avail (judging by the comments).