Scott/Simon
If a username is 10 characters of less, the profile URL will contain the full name, thus:
https://www.wgt.com/players/miokontic/default.aspx
But if it is over 10 characters, for the profile URL, WGT will truncate it to the first 6 characters and then add 4 random characters, making it a maximum of 10 characters, thus:
https://www.wgt.com/players/simontya8u/default.aspx
Hope that explains the profile URL query. As for how the bot changed it's name... not a clue. I can only agree with Simon in thinking it's a WGT bot and they changed it, although they keep telling us that's not possible (unless they did a dirty deed and changed the actual database!).