Text this: Permissive Controller Synthesis for Probabilistic Systems