Regarding your last sentence, I don't know the answer. If you really want to find out I would make an educated guess that it is one of the more feature-rich modern terminal applications (like kitty, wezterm, alacritty, ghostty)