I've installed crDroid (with NikGapps, couldn't make it work with Lucifer's version or OpenGapps), the rom runs GREAT on my -3 model.
The only major problem I've encountered is with microphone useability, it seems that, for some reason, WhatsApp can't make use of it (all recordings show as one second long), using the Recorder app also has some issues, the system defaults to a microphone called Pixel 5, you can change it on the Recorder settings but not on Wpp (though I'm not sure this is the problem with Wpp altogether)
Anyway, I'm going to keep looking into it and update with my findings!
Again, great Rom, Bruno!
Edit: Connecting an headphone and sending an audio note with it appears to reset the default mic to the correct one, as I can send voice notes this way, unfortunately it resets to the wrong mic with a reboot. Also, calling via wpp works just fine.
Edit 2: It seems that the correct microphone starts to pick up after 8 seconds of recording, annoying, but it works.