微信开发工具最新版下载下来怎么是1.02.1803210

公司的电脑里更新的最新版本是1.02.1804251

现在使用家中的电脑使用的版本是1.02.1803210，想要升级到1.02.1804251，通过工具菜单检查到的更新还是是1.02.1803210

去https://developers.weixin.qq.com/miniprogram/dev/devtools/download.html

下载也是1.02.1803210，而不是1.02.1804251。我以为是缓存问题，清空，更换网络下载下来的都是1.02.1803210

请为怎么回事?