Thread:Feinoha/@comment-31536386-20170721143640/@comment-4234382-20170721193059

I'm not the one who decided on the new name. I merely implemented what the community itself decided it this thread: Thread:369855.