iso_8859-15(7) on Linux

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

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

iso_8859-15(7) on Linux now