Doc: Consistently refer to "Web UI" rather than "WebUI"

Change-Id: Ia41e162394fa0f9ab9ae05c16db0c3032fde19cf
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 72247cf..9c00467 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -164,7 +164,7 @@
 * create the stable branch `stable-2.5` in the `gerrit` project
 +
 Via the link:https://gerrit-review.googlesource.com/#/admin/projects/gerrit,branches[
-Gerrit WebUI] or by push.
+Gerrit Web UI] or by push.
 
 * Push the commits done on `stable-2.5` to `refs/for/stable-2.5` and
 get them merged