I was excited by this RGBtoHDMI board so I had some printed, but it seems the Xilinx XC9572XL CPLD is hard to source right now. Anyone have any spares that needs a PCB?

https://github.com/hoglet67/RGBtoHDMI
https://twitter.com/craig1black/status/1401234529705086979