Mar 26 2019
Jan 29 2019
Problem is solved. So this bug should be closed.
Jan 26 2019
Seems like that this file is reuploaded to Commons, so there is no need to restore anything(?).
Jan 18 2019
Recover in the normal way would be nice, because otherwise people are wondering where the original file disappeared.