稍微更新了一下开发者选项卡；稍微为github优化了一下载入速度