With version 0.18.0 introducing RangeIndex, should RangeIndex be applied for concat when ignore_index is set to True? `df = pd.concat([df_a, df_b], ignore_index=True)` df.index is an instance of Int64Index, not RangeIndex currently in 0.18.0