Ghostty actually has a built-in drop-down terminal.