I'm noticing that desktop-tui - at least over ssh - oesn't handle terminal resizing/SIGWINCH. Let me cogitate on why this might be the case.