Shorten URL for the javadoc page

We try to use succinct URLs on the wiki. I'll put a redirect in place on
the server side, in case any links to the previous name are in the wild.

Author: ctrueden

_includes/layout/menu

@@ -76,7 +76,7 @@
               <li><a href="/scripting/batch">Batch Processing</a></li>
               <li><a href="/scripting/basics">Scripting Basics</a></li>
               <li><a href="/scripting/user-input">User Input</a></li>
-              <li><a href="/scripting/how-to-use-the-javadoc">Using Javadocs</a></li>
+              <li><a href="/scripting/javadoc">Using Javadoc</a></li>
               <li><a href="/scripting/script-editor">Script Editor</a></li>
               <li><a href="/scripting/auto-imports">Auto Import</a></li>
               <li><a href="/scripting/templates">Templates</a></li>