anchor.diff:  
     mps = buildMps rec {
       name = "mps-${version}";
  -    version = "2021.1.1"; /* updated by script */
  +    version = "2021.1.3"; /* updated by script */
       versionMajorMinor = "2021.1"; /* 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 = "1gp9f4b57pr8c20qxcwax4l0d3w13x4lihxpb9z4agdqjafnc9l6"; /* updated by script */
  +      sha256 = "0w1nchaa2d3z3mdp43mvifnbibl1ribyc98dm7grnwvrqk72pabf"; /* updated by script */
       };
       wmClass = "jetbrains-mps";
       update-channel = "MPS RELEASE";
  
positive.code: 
    pycharm-community = buildPycharm rec {
      name = "pycharm-community-${version}";
      version = "2021.2"; /* updated by script */
      description = "PyCharm Community Edition";
      license = lib.licenses.asl20;
      src = fetchurl {
        url = "https://download.jetbrains.com/python/${name}.tar.gz";
        sha256 = "075lb50g853791hj8ahhi88zbp07cvfs3zrdahvvif2nd121r1mx"; /* updated by script */
      };
      wmClass = "jetbrains-pycharm-ce";
      update-channel = "PyCharm RELEASE";
  
negative.code: 
    phpstorm = buildPhpStorm rec {
      name = "phpstorm-${version}";
      version = "2021.2.1"; /* 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 = "1iqnq38d71wbl1iqhqr5as1802s53m3220vq4g42mdjgdj296bdk"; /* updated by script */
      };
      wmClass = "jetbrains-phpstorm";
      update-channel = "PhpStorm RELEASE";
  