Since r7266, it's been possible to get a hostname into Default Settings; but
[sgt/putty] / contrib /
drwxr-xr-x   ..
-rwxr-xr-x 5588 kh2reg.py