BetterDiscord plugin which fixes thumb button navigation triggering twice on Linux (no longer needed since v0.0.19)