Thanks for giving us a quick answer.
BTW, if something needs quick attention, your best bet is an abuse report, even if there's no abuse. I just happened to be looking at this thread. Because of how things work back here, pings to mods can get lost in the shuffle.