Comment by Kwpolska

But they do see / or : in file names, and the interesting question is which one it is today on which filesystem.