Hello, On a few website, the filename of file is extracted from http server response headers.
I did a bash script to get the real filename from a "wget -sS" command, cause I didn't find that in options... I wonder if that option would be usefull directly in wget options to obtain the filename from headers - of course if a filename is given in headers. You did a really great work : wget is amazing... Have fun