Thanks! That kirin release must be new, I'm sure it wasn't there back when I installed LOS.
I didn't look for "pro1", but for "fxtec-pro1", as I thought that was its codename, as reported on PostmarketOS wiki.
Do we know that a ROM that's made for the Pro1 will work on Pro1-X though? Also with the different editions with different storage and RAM.
Afaik, the chipset is identical, no?