Another small plugin, this one renames media files that have been uploaded through WordPress. Although you can rename the title of an image, the underlying file still has the original filename (IMG_1234.jpg
, for example). This plugin ensures that the filename changes along with the title.