Saving to a file with a non-ASCII name creates a %-encoded file

[choroba]

No description provided.

[choroba]

>/ open čů.xml ;
>/ save :b ;
Document saved into file '%C4%8D%C5%AF.html'.

[choroba]

Works correctly on my home desktop 🤔

[choroba]

Reported to libxml2 as 141. It seems it won't be fixed.

[choroba]

This is a simple reproducer:

#! /bin/bash
set -eu

pcnt=1%3Aa.xml

echo '<root1/>' > 1:a.xml
echo '<root2/>' > "$pcnt"

[[ -f $pcnt ]]

xsh << __XSH__
open '1%3Aa.xml' ;
save :b ;
__XSH__

[[ -f $pcnt ]]

[choroba]

The libxml2 bug has been reportedly fixed. Waiting for confirmation.