I know the guidelines are different, but it should probably be on the same page.
The reason I didn't check the discussion guidelines at the time is because I {kind of} have common decency, I thought i'd already know what was okay or not. I wasn't aware that pinging people would be bad, I thought it was just a thing to make sure your message was getting to one specific person.