Thanks for catching it. I've deleted. We should probably be concerned that we're getting hit with spam so much lately. Not sure if there's a way to more aggressively prevent it.
