I was hoping the Pun People would have stayed on Reddit. I haven’t missed scrolling through miles of puns before getting to real posts…