[basex-talk] File module path encodings

Hi, The following two expressions create a file called "d d.txt" (Windows, BaseX 7.6) file:write("c:\temp\d d.txt","what") file:write("c:\temp\d%20d.txt","what") I wonder if it would not be better if the second would create a file "d%20d.txt"? My use case is creating a file name that encodes a path e.g. "lib%5Cfile.txt". The currently gives an error, as it is looking for a folder lib. I read http://expath.org/spec/file#d3e112 as meaning url encoded file names must start file:/// and if no file:/// the name should be used as is. /Andy