Introduced compatible default character encoding

Also changed “µ” to “☺” in lengths output to offer the example of a
character outside the Latin1 range.