Eli Zaretskii <eliz@gnu.org> writes:

>> I'll wait until Monday, then I'll have a Fedora machine @work. Good for
>> adding the Red Hat case.

Finally, I've written the following patch. Comments?