I just got notice that a longstanding feature request has been added to 800:
JetBrains - will you be adding direct support for discontinuous selection,
etc. ala my Selector plugin? I've gotten several feature requests for it.
But, if you're going to be supporting the feature directly, I won't spend
time updating it.