Deleting /coq/417938