Merge upstream PR #119: deep select (Cmd+hover)#3

alexgorbatchev merged 4 commits intomainalexgorbatchev/agentation:mainfrom

merge/upstream-pr-119alexgorbatchev/agentation:merge/upstream-pr-119Copy head branch name to clipboard