If everyone already knows about the bug don't make a big deal about it.
If no one stands to gain anything by using the bug don't post about it, pm it to badspot, he'll probably have already seen the bug in action as there are a few people that show him all the bugs.