TokyoPlayer is now misspelled

Thank you for that.

We’ve strayed quite far from the point, a simple name change announcement. I’m closing the thread now.