Thread:Bentheechidna/@comment-1739368-20151023022441/@comment-1739368-20151023023340

We'd update accordingly when another spelling is released then. "Josefumi" is a fan translated guess, and the kanji is the same for both names, so there's no reason it'd take precedence.