Hide @Deprecated in linter

[JorgeCepeda]

I don't know where the change should be made, is it possible for the IDE to treat @Deprecated methods, etc, as if they didn't exist?

I'd like to see only the stuff that I'm supposed to use instead of being redirected from method to method, and toggle this feature on and off.

[CC007]

If this is done for deprecated methods, could this functionality also be used for getter methods and record field methods, when used in combination with manifold-props? IJ keeps suggesting those preferentially over the property notation.