Can you put a copyright header on this?  (Copy the one from bootstrap.py, fix the date)