Deleting list of people file: no need to put it on Github