Discussion on answer by mxyzplk: Is this tone unusual in a tech workplace?

Imported from a comment discussion on https://workplace.stackexchange.com/questions/114469/is-this-tone-unusual-in-a-tech-workplace/114470#114470