考虑增加日志下载功能

可以用命令行工具来导出 lean logs --help,最长可以导出一个星期的

👍 好的。

虽然可以解决这个需求,但是更好的方式,还是在这个位置增加一个下载功能,或者可以写个提示「通过命令行工具可以下载一个星期的日志」。