IntervalNavigator: Add new files