Six days ago, I wrote: > Here's a proposed fix, which I've tested on my own system. > Are there any objections to pushing this to 'master'? I've now pushed this to 'master', commit 33a80e111096b05af3d60576dfcb2d67099dc60e. I'm closing this bug now. Thanks! Mark -- Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about .