chiark / gitweb /
split out users_getuser()