Para su información: acabo de implementar una solución rápida para un par de errores molestos de los que he estado escuchando en la barra de búsqueda. · algunas palabras clave causaban errores en la aplicación -- eso ya está solucionado. · los resultados de búsqueda ahora priorizan mostrar primero los tokens verificados, debería sentirse más intuitivo.