Per tua informazione: ho appena implementato una correzione rapida per un paio di bug fastidiosi di cui ho sentito parlare nella barra di ricerca · alcune parole chiave causavano errori nell'app -- questo è stato risolto · i risultati di ricerca ora danno priorità ai token verificati, dovrebbe sembrare più intuitivo