Yes, all the names are correct. Most are just different spellings for the Korean phonetic characters of Grandmaster Jeong's name. People have different preferences for how Korean characters should be written in English for correct pronunciation. I prefer "Jeong", but someone else may prefer "Jung". It sounds the same, and it means the same in Korean, but it is spelled differently in English.
Also, "Jeong" is his family name, and Koreans put their family name first, rather than last as we do here in the US.
But you made a good point that we should pick one spelling of Grandmaster Jeong's name, and be consistent with it. It can definitely be confusing.
|