anchor.diff:  
           _releaseNotesMarkdown.value = releaseNotesMarkdown;
           toggleReleaseNotesVisible(true);
  -        unawaited(server.setLastShownReleaseNotesVersion(devtoolsVersion));
  +        unawaited(
  +          server.setLastShownReleaseNotesVersion(parsedCurrentVersionStr),
  +        );
         } catch (e) {
           // Fail gracefully if we cannot find release notes for the current
           // version of DevTools.
  
positive.code:     } else {
        previousVersion = SemanticVersion.parse(lastReleaseNotesShownVersion);
      }
      const devtoolsVersion = devtools.version;
      final currentVersion = SemanticVersion.parse(devtoolsVersion);
      if (currentVersion > previousVersion) {
        try {
          String releaseNotesMarkdown =
              await http.read(Uri.parse(_releaseNotesUrl(devtoolsVersion)));
          // This is a workaround so that the images in release notes will appear.
          // The {{site.url}} syntax is best practices for the flutter website
          // repo, where these release notes are hosted, so we are performing this
  
negative.code:         toggleReleaseNotesVisible(false);
          logger.log(
            'Warning: could not find release notes for DevTools version '
            '$parsedCurrentVersionStr. $e',
            logger.LogLevel.warning,
          );
        }
  