696c2e8265
Settings Plugins was missing from cmd+K Settings group. Add the deep-link row next to the other non-config tabs so typing plugins lands on the page.