system-index.txt ordering is non-deterministic #75
Description
The intent is that systems are ordered first by length, then by string<. However, it only actually orders by length. Make sure to order by both.
{{ message }}
The intent is that systems are ordered first by length, then by string<. However, it only actually orders by length. Make sure to order by both.