

Searching through XDA gave me nothing - it seems the Redmi A3 is a pretty obscure phone in the Redmi line, which was honestly quite surprising. The Mi A3 overtaking it in the results wasn’t helping either.
In any case I couldn’t find any ROMs. mvikrant97 says in this post that you can’t even really unlock the A3 to begin with (at least as of July 2024 but I doubt anything as changed).
You could try using UAD to debloat a little bit, but I haven’t used it personally, so I’ll have to leave the research to you.
Count me in as well. Caused me a good few problems at my job when I heard X instead of Y.