Suggestion: Group multiple pin notifications

If someone pins multiple messages within x amount of time, group the notifications into one. "User pinned 10 messages on this channel" instead of a spammy wall of 10 x "User pinned a message on this channel".