Now I realize that dictionaries arrange entries this way:
A
B
C
...
a
b
c
...
So in a double alphabetical order, giving priority to words beginning with upper case.
Is that how things have been working since the first day? Just wondering. No problem with that.