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.
