I thought we did, but it appears you're right. We do have it in the main.py, which I checked. I think it doesn't hurt to have it in the main entry points to the script as then you can execute the script as `./script.py` rather than `python script.py`