/e/OS GSI V.1.13 system-e-1.13-q-20230728314839-dev-treble_arm64_bvN
Vendor Name: Xiaomi
Device name: Mi Mix 3
Device CodeName: perseus
Version of /e/OS or Stock which existed previously: e-1.11-r-20230528-UNOFFICIAL-perseus by @smu44
Is the device Rooted / Not rooted: Yes rooted
Everything works exactly as tested here …
/e/ App Lounge v2.5.7 crashes very often, often after entering more than four letters. The Galaxy A5 2017 a5y17lte has almost the same problem.
Thank you very much /e/ GSI dev for your excellent open source project! 
: