My comment was not to imply that Ghostty performed better than Foot. Foot is a great terminal.