Thats fantastic. However github would be better served if the github.com put the tab focus right inside the command bar. That way their would be no need for /

Thats fantastic. However github would be better served if the github.com put the tab focus right inside the command bar. That way their would be no need for /launch at all...