Document missing main.py.