I asked ChatGPT to write a comment. I fell asleep after the first line. Which is a rather useful trick.