GitHub command palette wins stay of execution after dev pushback
GitHub has "paused" the removal of the command palette, which enables keyboard control of the ...
theregister.co.uk