Thread:DeCool99/@comment-4220590-20170613083045

When you change the file name of a picture, there is the option "Leave a redirect behind". If you unmark that, then the old file name will be deleted and replaced with the new one. That way, it will not leave behind an unused redirect that must be deleted manually. 