Renamed an extension.