K Idea plugin:
1.bug. Eliminate @ in the comments, //-style

2.bug. Ctrl+Q on isKResult on:
               context newArrayImpl(_:Type, 'ListWrap(Dims:KList,, HOLE,, _), _,_)
               when isKResult(Dims)
               gives the content: cannot fetch remote documentation: null.

3. feature. Syntax production Ctrl+Q view - add the comment that starts at the last line of the production. Useful for documenting one-line productions, such as labels. Also could be used for rules.
K Idea plugin: KPlug-20 Add a separate color for definitions of auxiliary functions.
Merge branch 'master' of https://github.com/kframework/k
K Idea plugin: KPlug-21 Go To Symbol support for KLabels and Sorts.