You just made me realize Copilot does not always refer to (Microsoft's) Github Copilot ... apparently.