Using clippy 1.80.0. Also cleans up some that were windows only.
This library is a fork of the great library tui-rs. We've mainly relied on the double buffer implementation and render diffing, side-stepping its widget and layouting.