redo-sources.py