Type checking in VSCode reports infractions at the bottom of the screen, as errors in red (screenshot). Is there a way to change this to another type of notification (in anothe