They should just use Trolley[0] which will ship their TUI inside Ghostty.

[0]: https://github.com/weedonandscott/trolley