Deleting /coq/94975