Il fatto che gli argomenti compaiano in “hot” sembra indicare che siano in qualche modo ancora silenziati. @JammyDodger mi ha appena detto la stessa cosa, e mi ha ricordato il fatto che c’è un bug con gli argomenti silenziati che appaiono in “hot”:
Quindi forse usare “hot” è una soluzione temporanea, ma probabilmente smetterà di funzionare una volta che sarà risolto. Penso che dovremmo comunque cercare di capire perché la categoria silenzi gli argomenti anche quando non è silenziata.