Maybe we should start using the issue tracker at GitHub. What do you guys think about that?
It's up to Xuejun. I don't see a pressing need. John