> One of the best finds from the Z3 approach was the discovery that "q rsqrt" had been added to the bad word list to prevent Copilot from spitting out a piece of the Quake III source code

(that particular piece of code was the subject of controversy when it was shown that Copilot would output that GPL’d code snippet with a comment indicating an incorrect license: https://news.ycombinator.com/item?id=27710287)