Examples: convert some files to UTF-8

Those files were in ISO-8859-1 encoding, which is being phased out.

By the way, use typographic quotes.

[skip ci]