csv文件：逗号分隔值（Comma-Separated Values，CSV，有时也称为字符分隔值，因为分隔字符也可以不是逗号）

右键点击raw按钮，选择目标另存为，下载的是txt文件
win10如何修改txt文件为csv文件？
https://jingyan.baidu.com/article/48b558e38c4b

点选项，显示拓展名，就可以修改后缀名为csv，即可