Deleting /coq/417982