Video author here -- The terminal emulator is tn5250j [0], configured to use the IBM Plex Mono [1] font. Full-screen it on a 1080p display and it really is quite pleasant! And there's something that just feels "right" about using IBM's font in this case.

[0] http://tn5250j.org/ [1] https://github.com/IBM/plex