anchor.diff:  
     webstorm = buildWebStorm rec {
       name = "webstorm-${version}";
  -    version = "2020.1"; /* updated by script */
  +    version = "2020.1.1"; /* 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 = "1c68li5jxsjml0macdb0s04llwwq1hni5z8vq2zdfcn5zm3xwpif"; /* updated by script */
  +      sha256 = "0d543g06bxpw4q2p19vmvrxpbhqsvspjbs3sqnw6hxni7wcflhkg"; /* updated by script */
       };
       wmClass = "jetbrains-webstorm";
       update-channel = "WebStorm RELEASE";
  
positive.code: 
    datagrip = buildDataGrip rec {
      name = "datagrip-${version}";
      version = "2020.1"; /* updated by script */
      description = "Your Swiss Army Knife for Databases and SQL";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/datagrip/${name}.tar.gz";
        sha256 = "1z3asz9fp3xnmbhngar60g8rba83kx987ar67j5m8ws7cijqlzix"; /* updated by script */
      };
      wmClass = "jetbrains-datagrip";
      update-channel = "DataGrip RELEASE";
  
negative.code: 
    ruby-mine = buildRubyMine rec {
      name = "ruby-mine-${version}";
      version = "2020.1.1"; /* updated by script */
      description = "The Most Intelligent Ruby and Rails IDE";
      license = stdenv.lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/ruby/RubyMine-${version}.tar.gz";
        sha256 = "0xhx3n2xdk0k0qx7hdiyfga16hjf2j95k219wh7mh0cys20hkrg8"; /* updated by script */
      };
      wmClass = "jetbrains-rubymine";
      update-channel = "RubyMine RELEASE";
  