Deleting /coq/418779