index.py: Jenkins does the copying