StringExtensions: for reversedString, use ASCII encoding. This
method is only used for scanning for Cix pronpts and error messages.