Hey there, is it possible to somehow read the filename of elements that are read from `env.readFile`? In our case, the date of creation is encoded in the file name.
Otherwise, maybe it is possible to assign timestamps somehow by the file's creation time directly? Thanks!
