I don't get it - why is a bunch of people trolling the github project with fairly irrelevant arguments interesting? Could someone who upvoted this explain the logic?
In my years of experience online, trolling was specifically riling someone up by saying things the troll doesn't really believe.
Trolling isn't disagreeing that a workaround is sufficient to ignore an actual issue. But that's just my opinion.