Making file-feeder simpler