Mention that OrderedRichEnums are sorted in the docs.