deleting irrelevant themes from the repo