Damn. I had a "linux shell" website made with javascript in the nineties, but back then I never managed to get command typing work with all the major players, i

Damn. I had a "linux shell" website made with javascript in the nineties, but back then I never managed to get command typing work with all the major players, i.e. both IE 4.0 and Netscape. I finally settled for the browser typing the commands for you by hovering on entries from ls, and "running" them by capturing the onclick event. I'm really happy to see my vision in action invented and implemented by someone else, even though had to wait a bit over 15 years for it!