Eugen Rochko just wrote in his Reddit AMA “I guess our elephant mascot finally has a name, John.”

Thank you Eugen, I accept this great honor.