A script which exports a player_names.json file, which contains player uuids and names for use in PlayerFileCleaner.
https://github.com/Hydroxycobalamin/PlayerFileCleaner
Simply install Denizen on your server if not already, drop the script in, do /ex reload and run /ex run player_exporter...