[Bug-wget] bad filename

[Andries E. Brouwer]

If I ask wget to download the wikipedia page

http://he.wikipedia.org/wiki/ש._שפרה

then I hope for a resulting file ש._שפרה.
Instead, wget gives me ש._שפר\327%94, where the \327
is an unpronounceable byte that cannot be typed
(This is an UTF-8 system and the filename
that wget produces is not valid UTF-8.)

Maybe it would be better if wget by default used the original filename.
This name mangling is a vestige of old times, it seems to me.

Andries