5 path
="${url#$protocol://}"
8 relpath
="${path#$server}"
12 curl
-A 'text/html; text/xhtml; text/xml; */*' -L -k "$url" |
sed -re 's/^/-/;s/[^a-zA-Z][hH][rR][eE][fF]=("([^"]*)"|'\''([^'\'']*)'\''|([^"'\'' <>&]+)[ <>&])/\n+\2\3\4\n-/g' | \
13 sed -e '/^-/d; s/^[+]//; /^#/d;'"s/^\\//$protocol:\\/\\/$server\\//g" | \
14 sed -re 's`^[^:]*$`'"$protocol://$basepath/&\`"