Create texdown.py