chiark / gitweb /
remember username correctly when logged in via cookie