diff --git a/editions/dev/tiddlers/build/Releasing a new version of TiddlyWiki.tid b/editions/dev/tiddlers/build/Releasing a new version of TiddlyWiki.tid
index 1ea6864e8..6070d5d32 100644
--- a/editions/dev/tiddlers/build/Releasing a new version of TiddlyWiki.tid	
+++ b/editions/dev/tiddlers/build/Releasing a new version of TiddlyWiki.tid	
@@ -1,5 +1,6 @@
 title: Releasing a new version of TiddlyWiki
 
+# Verify the version numbers in [[$:/config/OfficialPluginLibrary]] (both in `editions/tw5.com` and `editions/prerelease/tiddlers/system`)
 # Move the latest release note from the prerelease edition into the tw5.com edition
 # Adjust the release date and the ''released'' field of the latest release tiddler (eg, [[Release 5.1.3]])
 # Ensure [[TiddlyWiki Releases]] has the new version as the default tab
@@ -22,5 +23,5 @@ title: Releasing a new version of TiddlyWiki
 # Tweet the release with the text "TiddlyWiki v5.x.x released to https://tiddlywiki.com #newtiddlywikirelease"
 
 # Preparation for the next release:
-## Adjust version number in [[$:/config/OfficialPluginLibrary]]
+## Adjust version number in [[$:/config/OfficialPluginLibrary]] (both in `editions/tw5.com` and `editions/prerelease/tiddlers/system`) and [[$:/config/LocalPluginLibrary]]
 ## Adjust version number in https://github.com/Jermolene/build.jermolene.github.io in `prerelease-bld.sh`, `bld.sh` and `make-library-bld.sh`