chiark / gitweb /
admin: New command SETIFNAME to change an interface's recorded name.