Fantastico! È esattamente quello di cui avevo bisogno. Forse la descrizione potrebbe essere modificata per spiegare che non si tratta di una configurazione utente, ma piuttosto di un’impostazione globale.
Grazie mille per averlo implementato, @markvanlan!
(p.s. spostato in supporto)