a group of pinged editors ([[User:(({2))}|(({2))}]]—[[User:(({3))}|(({3))}]])