Comment by mikl

I don’t really think pedantry about terms changes the overall point.