We had a need to list certain dictionary keys before others to maintain compatibility with a legacy system. (Imagine the keys needed to be sorted case-insensitively.) This was the smallest PR we could come up with that would achieve this. I thought I'd upstream it in case you found it useful. Otherwise, no worries.