Actualización del buscador de la Comunidad de desarrolladores este fin de semana

Hola, comunidad!

Este fin de semana actualizaremos el motor de búsqueda de la Comunidad de Desarrolladores para hacerlo más rápido y preciso (eso esperamos 😉).

Durante la actualización, es posible que experimentéis cierta lentitud o breves interrupciones en el rendimiento de la búsqueda. Si notáis algo inusual o tenéis algún problema, avisadnos en los comentarios más abajo: vuestros comentarios nos ayudan a garantizar que todo funcione sin problemas.

Gracias por vuestra paciencia y por ayudarnos a mejorar aún más la Comunidad.