GitHub command palette wins stay of execution after dev pushback

Fans say low usage no surprise when obscure but beloved feature disabled by default

GitHub has "paused" the removal of the command palette,which enables keyboard control of the GitHub web application, following developer protests....