Para los que no sepan usarlo, al pulsar el enlace "buscar" en la parte superior de la pantalla (la barra verde con enlaces) se despliegan las dos búsquedas disponibles:
La del foro, que es muy buena y permite mucha personalización si accedemos a la "búsqueda avanzada"
La de Google que es una búsqueda que se realiza dentro de los resultados que Google ha indexado. Por ejemplo, los perfiles de usuario no se indexan
