User blog comment:Jackboog21/More Students Mod 1.3/@comment-107.161.199.230-20150722114050/@comment-107.161.199.230-20150723062628

Wouldn't it be as easy as adding new characters to the XML and JSON file?