iso-8859-7(7) on Linux

The text 8c70d98665e6, as Debian 13 (Trixie) shipped it.

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

iso-8859-7(7) on Linux now