pull down to refresh

Still, it is in the top8 of the global traffic to websites. So must be very popular.
Popular indeed, however that doesn't change a thing in regards to the point I was going after: the average Reddit-user is a prick at best (IMHO).