Maybe someone could set up one of the little Micropython capable boards to boot into iPython. I wonder if any of the ESP32 boards have VGA or HDMI?

Edit: this should work https://news.ycombinator.com/item?id=19943059

That is news to me. Thanks! I'll have to look more at it.