Sent one of the prototype boards across the world to Lawrie Griffiths. First cause for celebration is that the board arrived in one piece against a tidal wave of Xmas packages. Second cause for celebration is that Lawrie has put together some code examples - we have Pong in HDMI, achieved using only 4 FPGA pins:

https://forum.mystorm.uk/t/dvi-hdmi-pmod/505/31

Happy New Year! 🎆