Put `demo.py` in `docs/examples`.