pull down to refresh

You would like the confusion that this would entail? Things have been named, to rename them would be confusing for the laity, least, if not the “experts”, too.
reply
no, I mean your comment is spot on: yes, things have origins; no, we just keep the names they go by.
reply
Yes, what’s done is done.
reply