A terminal emulator for the web.