2 ms·

True, but given the entire point here is to have interesting conversations, I think that's a higher priority than civility.

• scott_s 10y ago
  They are considered the same thing here. There is a reason it comes first in the guidelines on comments.