* mail_list.sh: regexp update
* html-prettyprinter.pl: UTF-8 STDOUT