anchor.diff:  
     pycharm-community = buildPycharm rec {
       name = "pycharm-community-${version}";
  -    version = "2018.3"; /* updated by script */
  +    version = "2018.3.1"; /* updated by script */
       description = "PyCharm Community Edition";
       license = stdenv.lib.licenses.asl20;
       src = fetchurl {
         url = "https://download.jetbrains.com/python/${name}.tar.gz";
  -      sha256 = "0kgrh3w4lpk7qkp5gss24in1nqahdfllvf97qz6r77zn9n5k1wq7"; /* updated by script */
  +      sha256 = "02vs8nxxm139jl622nhxs59i9gw9rs5rjymkg8a0ajpybang24jk"; /* updated by script */
       };
       wmClass = "jetbrains-pycharm-ce";
       update-channel = "PyCharm Release";
  
positive.code: 
    phpstorm = buildPhpStorm rec {
      name = "phpstorm-${version}";
      version = "2018.2.5"; /* 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 = "0crr3056hlv9x2q1i1n00aavj53xkwkfy4lgyyphk81c0gly4dg1"; /* updated by script */
      };
      wmClass = "jetbrains-phpstorm";
      update-channel = "PhpStorm 2018.2";
  
negative.code: 
    idea-ultimate = buildIdea rec {
      name = "idea-ultimate-${version}";
      version = "2018.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-jdk.tar.gz";
        sha256 = "0x0dplmv37gqdbrwxsx6xaix9dbaa6kqc09ganln5r4nl2bg64i8"; /* updated by script */
      };
      wmClass = "jetbrains-idea";
      update-channel = "IntelliJ IDEA Release";
  