Ain't a big deal, so don't stress bout it or anythin'. I don't wanna speak for the other mods, but I'd generally just assume most mods don't want to be pinged individually for non-important stuff, though some of the more forum-active mods may not care (like me, I never mind )