Este buscador, apoyado en Google, pretende subsanar las carencias que hasta ahora tenía el buscador del Glosario. Todavía tengo que afectuar algunos ajustes y hacer un seguimiento de las entradas indexadas por Google. Espero que, en cualquier caso, sea una ayuda más eficiente que el mecanismo actual.