commafeed.py: now transversing tree via a generator