My guess would be that they customized something like https://taws.ch/WB.html https://taws.ch/WB.html Alternatively, they could have captured screenshots of th

My guess would be that they customized something like https://taws.ch/WB.html https://taws.ch/WB.html Alternatively, they could have captured screenshots of the UI elements using an Amiga emulator and animated a video by hand to play on the screen, or built their own simulation out of the captured elements using HTML/CSS/JS (or maybe C#, given the code on the screen). I would be very surprised if vintage hardware was used to generate any of it, unless some random crew member was an absolute Amiga fanatic. The gradients in the title bars in particular seem like something that would require modifying Workbench itself, i.e. 68k assembly hacking, whereas it would be easy to do in CSS. I think the green look is a custom palette, vs. leaving one or more channels disconnected. There's red on the screen too. AFAIK Workbench doesn't let you set a non-white colour for the window border, so those would be yellow if e.g. blue were disconnected.