copilotinstall the github copilot extension - Search