songs keep their (hash-like) filename as long as they live.
Media (at least sound) files can be pushed and pulled/cloned correctly