most of the work this function does is moving the dirent between 2 parents.
the actual name changing is quite simple. File.rename can move a file into
another folder, which is why i‘ve done it too, though i think its not
always possible…
FIXME File.rename can be used for directories too.…