Rip tldrbot 2023-2023 gone but never forgotten

I don’t feel like maintaining this. Somebody else should do it.