node.js/io.js have frequent updates. Each time I update the node environment I need to let Webstorm install the appropriate source package in Settings -> Languages & Frameworks -> Node.js and NPM.
The source is stored under ~/.Webstorm10/system/extLibs/, e.g. ./nodejs-v2.3.2-src/
Do I simply delete those directories?
I'm a little suspicious because this "egg-laying wool-milk-sow" of an IDE tries to do _everything_, so
a) I would expect a mechanism to get rid of wastefully stored obsolete source modules, and
b) that it might store meta information somewhere. ("might" is wrong, it does: I just deleted three obsolete source directories and even after restarting Webstorm the deleted versions still appear in the "Edit usage scope" dialog as selectable options)