@orionblur@NeoFreeBird Thanks for fixing the grok translation in the latest version. I thought it had to do with attestation, but I wasn't completely sure.
@lv__qx My Chinese name has three characters, one that is definitely in Japanese Kanji, one that is very seldomly used in Japanese Kanji, and one that can’t be rendered in Kanji. I blame my parents.