Hi I have a very small fix for mongodb PR to fix when downsampling collection schema, the output is not always consistent. This is because the schema is sort by frequency, but there are chances frequency is the same and we should compare their

delimited_name

to make sure output is consistent.

merged

Thank you so much!