static S wikipedia_getRedirect(S raw) {
  raw = trim(raw);
  S p = "#REDIRECT [[";
  if (startsWith(raw, p) && endsWith(raw, "]]"))
    ret dropPrefix(p, dropSuffix("]]", raw));
  null;
}