Re: [PATCH] dump_dir: Allow admins to modify and delete reports