. "$HOME"/lib/config/wget
-exec wget --mirror --continue -e robots=off --limit-rate="$wget_speed" \
- --page-requisites --wait=15 --random-wait --proxy=off -nH --no-parent \
- --trust-server-names "$@"
+exec wget -4 --mirror --continue -e robots=off --limit-rate="$wget_speed" \
+ --page-requisites --proxy=off -nH --no-parent --trust-server-names \
+ --wait=15 --random-wait "$@"
# Other useful flags are: -b (--background) --cut-dirs -E (--html-extension)
# -k (--convert-links)