This post from February 2025 claims that RP5 and RPMini are supported: https://www.armbian.com/newsflash/armbian-v25-2/
however, I can't find them on the downloads page. I also don't currently own an RPMini, I am tempted to buy one but I wanted to make sure it was supported first. What's the state of support right now?