Deleting /coq/417923