Deleting /coq/418331