Hrvoje, > What do you think?
To add a new (oh!) option in .wgetrc and call it decimal_separator Those guys who find numbers like 11782023180 easy to read and can tell for a fraction of a second that it was 11Gb downloaded, not 1.1Gb, will use decimal_separator = "" I personally would specify decimal_separator = "," Germans may like more decimal_separator = "." Leonid
