Does anyone know which terminal is being used in the screencast?

I'm asking because I noticed slight pixel misalignments in some of the videos. For example, in the File Explorer demo, the window border isn't a solid outline—it has small gaps in the frame. I’m wondering if using a terminal like Ghostty might fix that.

They're actually not videos! They're using asciinema: https://asciinema.org/, which is rendering actual text in the webpage - try selecting some while the recording is playing.