putty-defaults: Revert bogus change to Putty terminal height.