Thread:Semerone/@comment-1916698-20171007000132/@comment-30866325-20171007182908

Hm? So the bot has encountered an error?

(checks out the link, too)

Oh, dear! Those are the old filenames of the files, that Zenki and myself renamed back when we took care of the generic filename issue. Zenki said, that we should leave those around, in case, we would upload new files of the same names, so we wouldn't encounter the "do you want to upload a file, that was previously deleted"-issue, but now it seems like this was a bad idea... ^^'