That's cute~ 8:07

Honestly, I find it a bit of charming Star Wars history, the transcription of the alphanumeric names. While I find it a little grating in newer contexts, it reminds me of a better time. You know, before the special editions, before the prequels and before Disney. Star Wars felt different back then.

In any case, it's not really a serious quibble, by willingness to argue the point (and the severity with which I would do so) is in proportion to how hard the other side of the argument wants to engage. S'just a silly thing, and if you care enough to argue the point, we're already on the same side.