I don't think this is meaningless or non-constructive pedantry - we're a technical community and those are technical words.