github.com
Minitel CPU was 80C32, a ROMless 80C51.
Alternative firmware, and of course a DEMO: https://www.youtube.com/watch?v=a2HD6OzNoEo
Reply on news.ycombinator.com