Comment by dpau

good answer. (edit: i wasn't being facetious, i agreed with your comment.) and for anyone complaining about "wasting time" on this issue of terminology, i'd point them to the millions of hours lost due to tabs vs. spaces debates. it's not a waste of time, you just don't recognize it as important. defer to those who do.