dot/putty-defaults: PuTTY wants to sort the `TerminalModes' line.