[lexicality]

that's an imported PR, presumably from github. Note how the copilot comments come from the same user as the author, with an `imported` tag.

[ayhanfuat]

I stand corrected. GitHub team confirmed it's their Copilot ad.