sbool containsHTMLRedirect(S html) {
  ret contains(html, "http-equiv")
    && any isHTMLRefreshTag(findAllTagsNamed meta(html));
}