Possiamo forse nascondere completamente questa impostazione? Sembra così raro che qualcuno abbia bisogno di modificarla, ed è estremamente specifica. Un’impostazione che (forse?) serve regolare solo ogni pochi anni 
Voto per rimuoverla e chiudere la questione?