anchor.diff:  
     webstorm = buildWebStorm rec {
       name = "webstorm-${version}";
  -    version = "2020.2.4"; /* updated by script */
  +    version = "2020.3"; /* 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 = "0l97nk9psb8g0sxm148fcz0x2v9mwqblffigrz2rmac3gd275s7f"; /* updated by script */
  +      sha256 = "0sk7slwfr9jasid09hxw81sik5srn35vif3pbzpybig3yszbv6ld"; /* updated by script */
       };
       wmClass = "jetbrains-webstorm";
       update-channel = "WebStorm RELEASE";
  
positive.code: 
    pycharm-professional = buildPycharm rec {
      name = "pycharm-professional-${version}";
      version = "2020.2.4"; /* updated by script */
      description = "PyCharm Professional Edition";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "0dwd9gvi8n3igza95pil3mf7azxn131830rvfzdvnvrzj9yb2q8l"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm";
      update-channel = "PyCharm RELEASE";
  
negative.code: 
    pycharm-community = buildPycharm rec {
      name = "pycharm-community-${version}";
      version = "2020.2.5"; /* updated by script */
      description = "PyCharm Community Edition";
      license = stdenv.lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "0jkc26y3v94jj8q7dxq1py59is2whh45b890iac5adg6x670z3s6"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm-ce";
      update-channel = "PyCharm RELEASE";
  