They are tagged so you can use something like easytag to rename them based on that. Alternatively just use a proper podcast client to download them all, I like

They are tagged so you can use something like easytag to rename them based on that. Alternatively just use a proper podcast client to download them all, I like gpodder 2.