in Python, dicts are actually definitionally ordered, since 3.7, so this objection doesn't carry much weight.
additionally, you might be interested to know that the implementation of dicts as ordered was found to be more performant than its predecessor.
Finally, even if they were unordered, there would be no need for ordering in this proposal, which depends on unique integer keys starting at 0.