remove redundant word "random" from file name #9

Closed jakobii closed 3 years ago