Thread:Bhollon/@comment-32342188-20190402162509/@comment-25085701-20190407161034

Marking the old ones for deletion means that the admins can find them a lot easier, because we have a list that specifically pops up for those things. We can rename them, but that adds a redirect that will need to be deleted. Remember that when you upload a new version to change the name of the link in the page to the new filename, too.

Bhollon, would you like to have the practice of fixing this? If not, we can certainly do it on our end...