Text this: Decidability of higher-order matching