Hello, I'd like to know if the hide notch feature which was removed on MIUI 10 / Android 9 is back on MIUI 11 / Android 10 ? This is the main reason keeping me using LineageOS-based ROMs currently. Thanks