Delete edubot.py.orig