When running a dedicated server (or two) if you had to ban people from your server, clicking the ban button in the server GUI used to add their details to bans.txt in the userdata folder. Has this now changes as this file no longer contains names?