Text this: Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences