static L<Web> randomWeb_pool;

static Web randomWeb() {
  if (empty(randomWeb_pool))
    randomWeb_pool = concatLists(localWebs(), downloadedTypicalWebs());
  ret popRandomElement(randomWeb_pool);
}