anchor.diff:  (A Discord client is not required.)
   
   * Log in to your Discord account.
  -* Select the "github-builds" channel on the "JMonkeyEngine Community" server.
  +* Select the "github-builds" channel on the "jMonkeyEngine Community" server.
   * Look for a recent message from the "GitHub" bot saying
     "[jMonkeyEngine/jmonkeyengine] New release published".
     This indicates that a run has started, not that it's complete!
  
positive.code: The workflow is defined by
  https://github.com/jMonkeyEngine/jmonkeyengine/blob/master/.github/workflows/main.yml[the "main.yml" script].
  It performs clean builds of the Engine
  across a matrix of 4 operating systems and 2 javadoc versions.
  It also performs a clean build of the merged javadoc.
  
  Any failure of the CI workflow causes notifications to be sent.
  
negative.code: 
  == Initiating a New Release
  
  The release process starts with the creation of a Git tag.
  *Do not* use the `git push` command for this purpose!
  Use GitHub's web interface instead:
  
  