Pinging people is a basic courtesy unless the receiver specifically say they don’t want pings. I don’t think having to type out ONE person’s username is going to wreck your delicate fairy wrist, especially seeing as you've already written a post so I don’t think one more word’s going to ruin you. jfc at least just admit it if you’re that goddamn lazy