I just did a migration from v4 to v5 and I'm noticing some discrepancies in the database vs. the fallback banned-players.json file in the server root. Is there any easy way to generate a new one of these files, or would I be on my own to write a script to do this?