chiark / gitweb /
Eliminate string_login().