Bring back lazyredraw.

It actually makes a difference, when scrolling mostly.
Set screen names.
Remove battery on desktop.
Smaller fonts on my desktop screen.
No wlan on desktop.
Faster startup, SSD.