You can just hide the thread (*in Reddit). For me that's ideal, since it keeps these people busy when they could be adding noise. If they had something worthy to contribute, they would in another thread.
ITOH, people participate in both silly puns and important discussions. It's not good practice to downvote people who simply post stuff you're not in the mood to read, or not interested.
ITOH, people participate in both silly puns and important discussions. It's not good practice to downvote people who simply post stuff you're not in the mood to read, or not interested.