By the way, we have a name clash between kOS.Safe.Encapsulation.FileInfo and System.IO.FileInfo, which is why I had to use the full-length name for it here to get the right one.