document Stats.dump_stats(), new for Python 2.3
1 file changed