Hey this is pretty cool! I always wondered how people changed the default Rival/Player names. I promised I'd figure it out myself with a hex editor and a table file but alas, I never got around to it
I already knew about the buttons but this was definitely worth reading for the name-changing thing. Well done!