iso-8859-7(7) on Linux

The text d6f1eee6e319, as Debian 12 (Bookworm) shipped it.

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

iso-8859-7(7) on Linux now