In init file which is used by doc/info/update_examples, disable Unicode pretty printer,