static S wikipedia_getRedirect(S raw) {
  raw = trim(raw);
  S p = "#REDIRECT";
  if (!containsNewLine(raw) && swic(raw, p) && endsWith(raw, "]]"))
    ret dropPrefix("[[", trim(dropPrefixIgnoreCase(p, dropSuffix("]]", raw))).replace("_", " ");
  null;
}