iso-8859-8(7) on Linux

The text f2a6d758edc2, as Debian 10 (Buster) shipped it.

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

iso-8859-8(7) on Linux now