Rename dev-note-db.txt to note-db.txt

It's not just for developers anymore. The link from init will be broken
until this change is live on googlesource.com, but that only affects
users who are building gerrit.war from master, and this change should be
live within a day or two after submission.

Change-Id: I6339617033037955a5bafc47ab42117179b7e1d6

Documentation/config-gerrit.txt

@@ -3287,7 +3287,7 @@ Common examples:
 
 NoteDb is the next generation of Gerrit storage backend, currently powering
 `googlesource.com`. For more information, including how to migrate your data,
-see the link:dev-note-db.html[documentation].
+see the link:note-db.html[documentation].
 
 [[notedb.accounts.sequenceBatchSize]]notedb.accounts.sequenceBatchSize::
 +

Documentation/index.txt

@@ -66,6 +66,7 @@
 . link:config-reverseproxy.html[Reverse Proxy]
 . link:config-auto-site-initialization.html[Automatic Site Initialization on Startup]
 . link:pgm-index.html[Server Side Administrative Tools]
+. link:note-db.html[NoteDb]
 
 == Developer
 . Getting Started
@@ -82,7 +83,6 @@
 .. link:dev-stars.html[Starring Changes]
 . link:dev-design.html[System Design]
 . link:i18n-readme.html[i18n Support]
-. link:dev-note-db.html[NoteDb]
 
 == Maintainer
 . link:dev-release.html[Making a Gerrit Release]

gerrit-pgm/src/main/java/com/google/gerrit/pgm/init/InitExperimental.java

@@ -60,7 +60,7 @@ class InitExperimental implements InitStep {
     ui.message(
         "Use NoteDb for change metadata?\n"
             + "  See documentation:\n"
-            + "  https://gerrit-review.googlesource.com/Documentation/dev-note-db.html\n");
+            + "  https://gerrit-review.googlesource.com/Documentation/note-db.html\n");
     if (!ui.yesno(false, "Enable")) {
       return;
     }