This strikes me as a bit of a dumb choice of name. GitHub Copilot has been around long enough that most people (tech people at least) will assume you're talking

This strikes me as a bit of a dumb choice of name. GitHub Copilot has been around long enough that most people (tech people at least) will assume you're talking about GH Copilot.