Javascript WebStorm JS库TypeScript社区存根不显示列表

我可能遗漏了一些明显的东西，但我不知道是什么

我最近在我的新电脑上安装了WebStorm，从设置中下载TypeScript社区存根库（如Angular、Mongoose等）没有问题（我下载了大约6个，在下载时可以看到整个列表）

现在，今天我做了完全相同的事情，但只得到了三个（见截图）。有人处于同样的情况吗？我不认为这是必要的，但我确实更新到了2017.1，所以可能是版本中的某些内容

---

这是由于DefinitelyTyped最近进行了重构

---

这是跟踪it的问题：

在WebStorm中，它被跟踪为并标记为已修复——将包含在2017.1.1中。现在可能的解决方法可以在评论中找到。好的，非常感谢，我想这大概是在我更新到2017.1的同时发生的，但我只是担心我更改了一些设置。我一周前才开始使用社区存根