Deleting /coq/417816