I am trying to install the plugin in Webstorm but do not see how. I am using WebStorm 2017.3.2 and File | Settings as listed in the book is not an option, @mattdahse.