Add documentation for File.slice()