Text this: Interpolation in local theory extensions