Delete dotalib.py