Delete sharelatex.py~