Convert Data.Text examples into machine-verifiable doctest markup