sS getRedirectDestination(S url) {
  ret first(mapGet(getResponseHeaders(url), "Location"));
}