I am very, very disappointed in Xiaomi. When I first got my Mi 9, I was able to encrypt it with the lockscreen password, as the option existed in years.
However it seems that with MIUI 11, this option was first moved to the developers menu, then removed entirely.
So I wiped my phone, and when...