Change search keyboard shortcut to / to be consistent with GitHub

No ticket for this.