Rip tldrbot 2023-2023 gone but never forgotten
I don't feel like maintaining this. Somebody else should do it.
Community for discussing tl; dr bot. Leave any feedback here.