2018-03-19 UTC
# 
Zegnat If we want to make a clear distinction between explicitly ordered arrays (where there is a meaning to being first) and arrays that just happen to have an order because of the JSON format (but should be treated as order not having any meaning), we shouldn’t order both in the same way. So if the first group of arrays uses source order, the second is better of with a different ordering. Alphabetically is as good as any.