Tool to copy Reddit comment chains

So I was reading this post and decided to make the tool described, as a userscript (I credit ChatGPT with doing most of the work, which went pretty quickly). To use it, install a compatible userscript browser extension such as violentmonkey.github.io , then press install on the linked page. Reddit comments should now have a...