Players could work around this by logging out and back in anyway. Seems to be no real harm in allowing players to use this often if they need it.
Rewrote and retested parts of the plugin to use UUIDs instead of player names to uniquely identify players. Added data migration code to convert old data to the new (UUID) format.