iso-8859-3(7) on Linux

The text b38f509190ef, as Debian 7 (Wheezy) shipped it.

ISO 8859-3 character set encoded in octal, decimal, and hexadecimal

iso-8859-3(7) on Linux now