Integrated the settings related to @DontTrace to the UI (preferences and Ctrl+1).