Module extras 

First-launch setup banner — thin host wrapper over the rpi-tui components.

Kept out of the library crate so rpi-tui stays cli-free (project constraint).

Functions

mark_setup_done

Mark first-time setup complete (write the sentinel). Best-effort.

maybe_first_time_setup

If first-time setup hasn’t run yet, show a brief setup note in the chat container. Returns true if anything was shown.

setup_done

Whether first-time setup has already been completed (sentinel present).

setup_done_path

Path of the “first-time setup done” sentinel, under the agent dir (~/.rpi/agent/.setup_done).