Deleting trailing useless numbers added by http://learn.tsinghua.edu.cn/ in filenames