Deleting /coq/417888