Hi,
First of all, great plugin! We've been using DiscordLeaderBoard on our server and it works really well.
I wanted to report a behavior that might be worth improving: when the plugin updates the leaderboard, it deletes the existing Discord message and posts a new one, instead of editing the existing message using Discord's PATCH API. This causes unnecessary notification pings for players who have the channel notifications enabled.
The description mentions "Smart message management — Updates existing Discord messages instead of spamming", but the current behavior is technically a delete + repost rather than a true edit.
Would it be possible to add an option like `"editMessages": true` in the config to use Discord's message edit endpoint instead? This would make the updates completely silent for players and truly spam-free.
Thanks for your work on this plugin!