"About 0.1% the snippets are verbatim" This implies that by just changing the variable names, the snippets are classed as non-verbatim. I don't buy that this

"About 0.1% the snippets are verbatim" This implies that by just changing the variable names, the snippets are classed as non-verbatim. I don't buy that this number is anywhere close to the actual figure if you assume that you can't just change function names and variable names and suddenly say you have escaped both the legality and the spirit of GPL.