doc: revisions to app.py (4)