No, I'm with @loucheman about this. We could have introduced dictionaries as an entirely new data type, separate from lists, and then I'd agree that order doesn't matter. But instead we're bending over backward to make a dictionary a kind of list, and so I find this behavior unexpected and confusing. Not promising that Jens will agree.
yes, you're right abut Dictionaries. They don't guarantee any particular order of entries. It's the same in other programming languages. Folks, if you decide to access a paired list by non-numerical keys instead of indices, you're leaving the "list"-ness behind.