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