anchor.diff:  
     webstorm = buildWebStorm rec {
       name = "webstorm-${version}";
  -    version = "2021.3.1"; /* updated by script */
  +    version = "2021.3.2"; /* updated by script */
       description = "Professional IDE for Web and JavaScript development";
       license = lib.licenses.unfree;
       src = fetchurl {
         url = "https://download.jetbrains.com/webstorm/WebStorm-${version}.tar.gz";
  -      sha256 = "1f918cj76b79x0d2hhv78mvmki5d1dps8nsx7i50wn2qzdml4kc6"; /* updated by script */
  +      sha256 = "0q2hn48499hv7licpl84ly0bhiizya8a69dl2vjvgscj3cdkr98q"; /* updated by script */
       };
       wmClass = "jetbrains-webstorm";
       update-channel = "WebStorm RELEASE";
  
positive.code: 
    mps = buildMps rec {
      name = "mps-${version}";
      version = "2021.2.3"; /* updated by script */
      versionMajorMinor = "2021.2"; /* updated by script */
      description = "Create your own domain-specific language";
      license = lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/mps/${versionMajorMinor}/MPS-${version}.tar.gz";
        sha256 = "1j33b48ki1xw7xb1hr8k2jz7d78h0qcr1b5gql7i40d7szq0iy10"; /* updated by script */
      };
      wmClass = "jetbrains-mps";
      update-channel = "MPS RELEASE";
  
negative.code: 
    phpstorm = buildPhpStorm rec {
      name = "phpstorm-${version}";
      version = "2021.3.2"; /* updated by script */
      description = "Professional IDE for Web and PHP developers";
      license = lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/webide/PhpStorm-${version}.tar.gz";
        sha256 = "1qi0zq3gzcfnikky37g2dqgmzm7r1883k6asris8nph389qk86vn"; /* updated by script */
      };
      wmClass = "jetbrains-phpstorm";
      update-channel = "PhpStorm RELEASE";
  