Added small comment on RFC1123 format as specified in RFC2616 (and RFC1945).
Doc fix
Use Calendar http_time for http_decode.date.