Merge branch 'master' into extensions-docs

# Conflicts:
#	src/main/menu.ts

.github/workflows/labeler.yml

@@ -0,0 +1,15 @@
+---
+name: "Pull Request Labeler"
+
+on:
+  - pull_request
+
+jobs:
+  triage:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/labeler@v2
+        if: github.repository == 'lensapp/lens'
+        with:
+          repo-token: "${{ secrets.GITHUB_TOKEN }}"
+          configuration-path: .github/labeler-config.yml