Thread:PurFox/@comment-25321544-20191208012855/@comment-24440576-20191208032211

He talks about translation, though, not official naming.