Disabling the conversion "%20"->" " in the local file name?

[Eduardo Ochs]

Hi list,

how can I tell wget that "%20"s in URLs should not be converted to
spaces in local file names? For example, if I run this:

  wget     https://etoysillinois.org/files/Etoys%20tutorial%201.pdf
  wget -nc https://etoysillinois.org/files/Etoys%20tutorial%201.pdf

then wget knows that the output document is "Etoys tutorial 1.pdf",
and the "wget -nc" sees that the "Etoys tutorial 1.pdf" is already
there and doesn't download it again... I can make the output document
be "Etoys%20tutorial%201.pdf" with "-O", like this,

  wget -O "Etoys%20tutorial%201.pdf" \
           https://etoysillinois.org/files/Etoys%20tutorial%201.pdf
  wget -O "Etoys%20tutorial%201.pdf" \
       -nc https://etoysillinois.org/files/Etoys%20tutorial%201.pdf

but are there other ways?

Thanks in advance!
  Cheers,
    Eduardo Ochs
    http://anggtwu.net/