Right - wasn't sure whether to update the obsoleted one (to be a non-change) so that the rest keep the same number, or not.