Investigate whether we can use ratatui

[svenstaro]

https://github.com/fdehau/tui-rs https://github.com/ratatui-org/ratatui

This might be a problem in the web version.

Update

⚠️ August 2023: tui-rs is no longer maintained. See https://github.com/ratatui-org/ratatui for an actively maintained fork ⚠️