Decoding the charset for cookies is probably not a good idea... Rev: server/protocols/http.pike:1.490