I'm not sure I would trust any developer that was involved with that download page. Who decided to sort by an arbitrary string assigned to a build? Might as well sort by hash.
I disagree, while the device codename itself is arbitrary, it's not arbitrary on the download page. It's common to identify devices by codename when naming custom roms.