WordPress: How to change a username

While adding and removing users in WordPress is fairly easy, changing a username is a bit more difficult. Here is how it’s done.