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.

Knowing the state of modern webdev that is probably exactly what happens