Merge branch 'release/0.80.40' into develop
migration: roll back the ordering, on 13M articles it's insane. MongoDB is not that cool.
version bump for 0.80.41.
Merge branch 'release/0.80.41'