anchor.diff:  
     mps = buildMps rec {
       name = "mps-${version}";
  -    version = "2020.2.3"; /* updated by script */
  +    version = "2020.3"; /* updated by script */
       description = "Create your own domain-specific language";
       license = lib.licenses.unfree;
       src = fetchurl {
  -      url = "https://download.jetbrains.com/mps/2020.2/MPS-${version}.tar.gz";
  -      sha256 = "1wd3d8pc155m54y5p2056p0x93v2nv9457i7la53ibbs7rj1j7kw"; /* updated by script */
  +      url = "https://download.jetbrains.com/mps/2020.3/MPS-${version}.tar.gz";
  +      sha256 = "0dr1z2sxarz1xif4swxx28hpzsyjd86m0c3xdaw5lmpqwqlzvc5h"; /* updated by script */
       };
       wmClass = "jetbrains-mps";
       update-channel = "MPS RELEASE";
  
positive.code: 
    webstorm = buildWebStorm rec {
      name = "webstorm-${version}";
      version = "2020.3.1"; /* 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 = "1bfq3xwnfz6f04d0lq584q7pg775a8y35b1b62w81dbfh43l4fj0"; /* updated by script */
      };
      wmClass = "jetbrains-webstorm";
      update-channel = "WebStorm RELEASE";
  
negative.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2020.3.2"; /* updated by script */
      description = "Integrated Development Environment (IDE) by Jetbrains, requires paid license";
      license = lib.licenses.unfree;
      src = fetchurl {
        url = "https://download.jetbrains.com/idea/ideaIU-${version}-no-jbr.tar.gz";
        sha256 = "1vac21d9p52z4k1dl903rc2dbbcf873xbg8rx1fp9nsaaphnc9lq"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IntelliJ IDEA RELEASE";
  