Board Thread:Support Requests - Getting Technical/@comment-3513410-20190104093739/@comment-168424-20190211182528

As far as I know, Theme Designer doesn't remember the original file name, but you can always ask FANDOM staff at Special:Contact/general.