I don’t use xiaomi devices, mainly because one may have to resort to jumping through hoops to get them to pair (or just as importantly, stay paired) like what the post you linked to describes .
But if you haven’t seen these community drivers, take a look and hopefully that will help.
.
