Douglas said
Someone already did this with a TEK4010 emulation:?
See
https://github.com/rricharz/Tek4010
Hmmm... You could use a Raspberry Pi to emulate a number of terminals.
Interesting that that emulator covers the ARDS.
Surely there can't have been too many graphics terminals for general sale in the 1960s
that
had a mouse, but the ARDS was one of them.
Here's an ad for it on page 17, Datamation December 1969:
https://archive.org/details/bitsavers_datamation_42955706/page/n17/mode/2up
Steve.