A machine diff between one using ASCII and UTF-8 would yield not equal? Is it reasonable to only use UTF-8 ("pretty" chars) with a command line switch (forced) rather than as an override (implied) behaviour?