dev-release: Add step to verify plugin versions in release build

Change-Id: Ia8ed6fe0274ac610dd93299919890fc480661725
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 3157214..700be2c 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -165,6 +165,15 @@
 * Sanity check WAR
 * Test the new Gerrit version
 
+* Verify plugin versions
++
+Sometimes `buck` doesn't rebuild plugins after they are tagged, and the
+versions don't reflect the tag. Verify the versions:
++
+----
+  java -jar ./buck-out/gen/release/release.war init --list-plugins
+----
+
 [[publish-gerrit]]
 === Publish the Gerrit Release