O mecanismo de busca do Wikidot vem dando problemas há um certo tempo. Frequentemente (e, até, predominantemente), após uma longa demora, uma busca resulta na mensagem de erro "Operation timed out", tempo esgotado. Para contornar esta situação, incluí na página de resultados um "widget" de busca personalizada do Google, que apresenta, inclusive, algumas vantagens em comparação com a busca do Wikidot, descontando (mas não ignorando) acentos, cedilhas, etc. (uma característica muito útil, especialmente em se tratando de diferentes grafias de nomes de línguas e povos indígenas). Por exemplo, uma busca por boróro listará resultados também para borôro, bororó e bororo. Outra diferença (talvez não tão vantajosa) é que o widget do Google efetua buscas também no conteúdo dos PDFs.
(10 Jan 2019 03:30)