Volevo segnalare due problemi post upgrade:

- la funzione ricerca topic in base ai titoli su j4s non funziona più, prima sì;

- il miner non funziona più.