It feels both strange and necessary to thank ChatGPT. It's perhaps not the most helpful tool I use (emacs, org-mode, Google Scholar, the world's collected papers books...). But it's the most human-seeming. So it feels only polite!