Text this: On the Parameterized Intractability of Monadic Second-Order Logic