This should fix the rate limiting issue (finally? hopefully?). On a full server of 10 players, it will around 3+ seconds to mute/unmute all 10 players with these settings. I don't see a great way around this; this is an inherent limitation of Discord's API.
Added the variable to tweak the delay, however:
# how many milliseconds between mute commands (for multiple players) the bot should wait
# leave as default (300ms) unless you see players not being muted/unmuted fully, especially in large games of
# 7+ people. If playing with many players and inconsistent muting/unmuting is occurring, bump up to 350-400
DISCORD_API_MUTE_DELAY_MS = 300
Also included a change to detect final.env, final.txt, or even final.env.txt as environment files