// TUI rendering removed — extensions should not render custom TUI components.