refreshes the display.
Refresh is very important, and should
preferably be bound to the Control-L sequence, for historical
reasons. It can always happen that a noisy phone line or a quirk in the
terminal corrupts the display. This command restores it from scratch.
Refresh has the side effect of checking to see if your window
size has changed, and will modify the display to take that into