[Bug-wget] Standard cookie file extension

[Peng Yu]

Hi, I am wondering if there is a standard cookie file extension for
cookie files written by wget. So far, I only see filenames like
cookie.txt cookies.txt. So the extension is just .txt. But .txt is not
a specific extension for cookie files. I'd like an extension dedicated
to cookie files for disambignuity purposes. Thanks.

-- 
Regards,
Peng