[Xiaomi Redmi Note 7 Pro ROMs, Kernels, Recoveries,] ni6hant:
Flashed this ROM on 16th Jan 2020. Was using Pixel Experience Android 9 for a long time.

Issues fixed while coming from Android 9:

-----------------------------------------

1) GPS works perfectly.

2) Whatsapp camera and Whatsapp Web scanning works flawlessly.

Installing Magisk

------------------

Installing Magisk was pretty easy on this AOSP recovery. I just installed the Magisk Manager App, selected the patch boot image and got a patched boot image in Downloads folder. I moved the file onto PC and with fastboot flashed this patched boot as the new boot image.

ANX and Google Camera

---------------------

The above helped me to install ANX Camera latest version and it works perfectly. It is important because I can't seem to find any Google Camera version to work with this phone at all. It comes pre-installed with version 4 but it's very old.

Live Caption

------------

Tried it. Works. Turned off immediately because I don't care.

Issues

------

This is however not a complete build in any way and here are the list of issues I have noticed.

1) While copying a link from website it left a watermark on the screen which got fixed by rebooting. It only has happened once in a week.

2) The gesture navigation isn't complete in any way. It lacks the ability to move the back button to the right side which means I am stuck with the full screen gestures which aren't as great either. The pill gesture system's recents doesn't work exactly as Android 9 and I am stuck with the full screen gestures which have terrible recents option. It's so hard to switch apps. As it turns out it was actually Nova launcher with which the issue persisted. I first noticed this is point 4 and then came back to write this. Full screen gestures works okay with the default Pixel Launcher but since this launcher lacks the ability to hide or put rare apps in a folder or another screen, I can't use it.

3) On more than one occassion the whole phone hanged on the recents page. After a few seconds followed by locking unlocking did fix the issue but it was noticable.

-) Youtube's PIP mode always hides and then you have to click on the lower right hand corner to find the invisible little screen and then it comes back on.

This is not the issue with the ROM but actually with Nova Launcher. It works perfectly fine with the default launcher. Now I am starting to suspect maybe the gesture navigation is also actually broken by Nova Launcher too. I need to test this.

4) The volume bar can't be expanded like it was used to be in Android 9 and was pretty convinent. Now it takes you to a whole page.

Features missing from Android 9:

--------------------------------

1) Three finger screenshot.

2) Power button hold to turn off torch. There is no gesture to toggle torch from lock screen yet.

3) Disable power menu on lock screen. I loved this feature and always used to lock phone turn on gps and data whenever I had to go outside.

4) Network monitor.

Side Notes:

-----------

1) Waiting for OTA updates to see if OTA updates works.

2) Rotation button is retained even in full gesture navigation. It just comes above Youtube's Home Button and sometimes I accidently tap it while the phone is even slightly tilted. Not an issue with ROM just getting used to it.

3) The system options which has all the extra features is pretty barebone.

4) The Live caption options always comes under the volume bar and you can enable it right away.