Ho visto una faccina verde sul mio pannello, quindi ho pensato di essere aggiornato. C’era effettivamente una versione più recente e il problema è sparito.
Inoltre, ho digitato parole chiave sbagliate nella casella di ricerca, perché l’argomento che hai linkato non mi è saltato all’occhio…