In case additional component ideas are still welcome, a (nestable) table component would be nice too. My use case (besides a general "map HTML to TUI") is to render things like [this](https://github.com/leanprover-community/mathlib/issues/4094#issuecomment-698992846).
