rendermanager.py 1.9: improved progress reporting.