Delete themepref.py~