Delete crap that Dmitri added to the repo