[gijoe77]

option 1 - use mediarecorder/dmrecord. This is not gonna be what your looking for - it's limited, failure-prone and it won't record fullscreen (please prove me wrong someone)
option 2 - use a camera on tripod. This can work very well, but quality won't be better than option 3
option 3 - use a capture card on a PC (such as https://www.startech.com/AV/Converters/V...~PEXHDCAP2 or maybe this https://www.amazon.com/dp/B07FK4RYZW/ for example). This is the way to go and what is being used. With a DVI connector (Octane/Tezro/Fuel) it's trivial to split the video signal and record it on the PC as your actually using the workstation. You can also get converters from VGA/13W3 to DVI/HDMI

edit: the real question is how did Dodiod setup that remote IRIX desktop? hehe.