It would be really great if there was the facility to merge users, we have quite a few users with duplicates.
Step 1. change ownership of the tickets opened by User 2 to User 1. Step 2. delete User 2.