Encoding cleanup: curly quotes to ASCII quotes, and some ISO-8859-1