a TL;DR robot for long Reddit comments