"Some leading opponents have built online tools that tap the power of artificial intelligence to allow anyone to quickly generate custom letters to the IRS in opposition to the proposal — a big step beyond the form letters often central to other lobbying campaigns.”