On 26 October 2017 at 16:30, Ulf Wiger <ulf@REDACTED> wrote: > Wouldn't it be reasonable to have such a function? First thought: No, because people would start abusing it. Maps *aren't* ordered.