this is the right place to ask questions, but generally pinging everyone should be avoided except for emergencies!