Anyone else been able to build the .UF2 for this?  I'd like to give it a try but have been able to build all the other examples except the xep80.   Looks like it was built by Marcin Kita - who I can find only named in a demo on atarionline.pl - but I can't find contact info.     Seems like a really simple implementation - pretty much a Pi Pico, HDMI breakout and level shifter - the easiest implementation imaginable.   https://github.com/maaakit/PicoDVI/tree/xep80/so