anchor.diff:  
     webstorm = buildWebStorm rec {
       name = "webstorm-${version}";
  -    version = "2018.3"; /* updated by script */
  +    version = "2018.3.1"; /* updated by script */
       description = "Professional IDE for Web and JavaScript development";
       license = stdenv.lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/webstorm/WebStorm-${version}.tar.gz";
  -      sha256 = "0msvgdjbdipc4g8j705d1jya2mjmx4wwhb23nch3znh7grryr75s"; /* updated by script */
  +      sha256 = "1l3jy1ifx82gdnvpgz77ycxbwymcwwd830i4mfidkr9gkndlxpsp"; /* updated by script */
       };
       wmClass = "jetbrains-webstorm";
       update-channel = "WebStorm Release";
  
positive.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2018.3"; /* updated by script */
      description = "Integrated Development Environment (IDE) by Jetbrains, requires paid license";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/idea/ideaIU-${version}-no-jdk.tar.gz";
        sha256 = "16z0pqmxjn5dl42rbz7mx8gi13xs3220pzkdsdkh1k1ny9caqzvj"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IntelliJ IDEA Release";
  
negative.code: 
    goland = buildGoland rec {
      name = "goland-${version}";
      version = "2018.3.1"; /* updated by script */
      description = "Up and Coming Go IDE";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/go/${name}.tar.gz";
        sha256 = "0z3z9hc7h3n63mfy7c5zh5sz8c0bzgxk79xamw08sxphrsjahasz"; /* updated by script */
      };
      wmClass = "jetbrains-goland";
      update-channel = "GoLand Release";
  