Base these on https://github.com/ratatui/ratatui/pull/1849 once we launch Ratatui 0.30 (the examples use ratatui::run() which would otherwise confuse things)