That's not recording the terminal. That's recording the characters, escapes, and control sequences sent to your terminal. It isn't actually recording what the

That's not recording the terminal. That's recording the characters, escapes, and control sequences sent to your terminal. It isn't actually recording what the terminal does in response to them. It isn't screenshotting, and terminal emulators differ in what they do; the same output potentially appearing very differently. Screenshotting would involve reading a Linux KVT /dev/vcsa file, or a display file with my terminal emulator, or using a Kitty plug-in to get at its display buffer contents, or attaching to a screen/tmux server and reading out its display, or similar (if even possible) for other terminal emulators. Ironically, BRLTTY can do some of the aforementioned. But it most certainly doesn't spit out HTML.