anchor.diff:  
     phpstorm = buildPhpStorm rec {
       name = "phpstorm-${version}";
  -    version = "2020.3"; /* updated by script */
  +    version = "2020.3.1"; /* 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 = "1d5rx7p7lvjzgp57n980f2bfrj14p1f4hxmyvx5pzzd86q7hrcbq"; /* updated by script */
  +      sha256 = "1c5j3mbg8scsl4c90cjahdk5gs5q72y5a8fhkqa9zmy6di42k99x"; /* updated by script */
       };
       wmClass = "jetbrains-phpstorm";
       update-channel = "PhpStorm RELEASE";
  
positive.code: 
    rider = buildRider rec {
      name = "rider-${version}";
      version = "2020.2.4"; /* updated by script */
      description = "A cross-platform .NET IDE based on the IntelliJ platform and ReSharper";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/rider/JetBrains.Rider-${version}.tar.gz";
        sha256 = "1anl48ifv5ayqn876dqckxc1b5fw1271pvamzf1vvk501wv6dpaf"; /* updated by script */
      };
      wmClass = "jetbrains-rider";
      update-channel = "Rider RELEASE";
  
negative.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2020.3.1"; /* 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-jbr.tar.gz";
        sha256 = "1kwz0aq4b664awppakj4syppk218nynwxv4ngc7pa3k9v4g2sdah"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IntelliJ IDEA RELEASE";
  