distinct does not retain order, while assert_distinct does

[jollygreenlaser]

• EdgeDB Version: EdgeDB Version: 4.4+596d0e4 on Ubuntu 22.04.3 LTS
• EdgeDB CLI Version: EdgeDB CLI 4.1.0+a8fe4d7

Given that assert_distinct is a check, while distinct can modify, this makes sense. However, the docs and examples all imply that distinct does retain order. While it would be nice for it to do so, it should at least be noted in the docs if it does not.