I tagged him as Lantingji Xu because I thought it was his name, but it turns out that that's the thing he's a personification of and all the characters in this game have a second name that they seem to go by.