I don't want to agree with you that an autocomplete tool is a relatively benign place to start, mostly because I am upset about GitHub using my code in this way

I don't want to agree with you that an autocomplete tool is a relatively benign place to start, mostly because I am upset about GitHub using my code in this way. But you are correct. But let's fix this before it goes further, especially since mindlessly copying output from a machine will probably result in more bugs.