Rename File: batched_discard

File Manager