format PROGRESS.md