http-fetch: don't use double-slash as directory separator in URLs