Board Thread:General Discussion/@comment-1815410-20180421191106/@comment-27493717-20180508175112

If there are no active admins, I think the VSTF or staff can rename the file, so you might be able to ask them for help.