anchor.diff:  
     phpstorm = buildPhpStorm rec {
       name = "phpstorm-${version}";
  -    version = "2020.2.1"; /* updated by script */
  +    version = "2020.2.3"; /* updated by script */
       description = "Professional IDE for Web and PHP developers";
       license = stdenv.lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz";
  -      sha256 = "14hz6w5lgn8ddscicm4s9xhi07j5adsq0bmyr8amzmj5q6jgw4p9"; /* updated by script */
  +      sha256 = "0bdxmxml6337cdpb2amhdqlvxicng50cgzlnmiw0wqnmwj5ihpih"; /* updated by script */
       };
       wmClass = "jetbrains-phpstorm";
       update-channel = "PhpStorm RELEASE";
  
positive.code: 
    webstorm = buildWebStorm rec {
      name = "webstorm-${version}";
      version = "2020.2.2"; /* 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 = "1w17cf0qj0vyizkzj1frcmi52q5qxbf31msg8df38wy2l8r0b928"; /* updated by script */
      };
      wmClass = "jetbrains-webstorm";
      update-channel = "WebStorm RELEASE";
  
negative.code: 
    clion = buildClion rec {
      name = "clion-${version}";
      version = "2020.2.4"; /* updated by script */
      description  = "C/C++ IDE. New. Intelligent. Cross-platform";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/cpp/CLion-${version}.tar.gz";
        sha256 = "0xkra8l3ga8qsmzbvfisn99lxm5wxa8c4d4jzljjwn8855bs20a3"; /* updated by script */
      };
      wmClass = "jetbrains-clion";
      update-channel = "CLion RELEASE"; # channel's id as in http://www.jetbrains.com/updates/updates.xml
  