Added File.get_timestamp() and added docstring to File.change_short_name()