Fix various spelling mistakes in the documentation

Change-Id: I762abb5bd34765c22b41f99c51dc37adc00766b1
diff --git a/Documentation/config-gitweb.txt b/Documentation/config-gitweb.txt
index 80f577d..206fc0e 100644
--- a/Documentation/config-gitweb.txt
+++ b/Documentation/config-gitweb.txt
@@ -63,7 +63,7 @@
 using the standard project READ +1 permission.
 
 Also, in order for a user to be able to view any gitweb information for a
-project, the user must be able to read all referencess (including
+project, the user must be able to read all references (including
 refs/meta/config, refs/meta/dashboards/*, etc.). If you have exclusive read
 permissions for any references, make sure to include all parties that should be
 able to read the gitweb info for any of the branches in that project.
diff --git a/Documentation/dev-design.txt b/Documentation/dev-design.txt
index c1b2a02..76f3b5c 100644
--- a/Documentation/dev-design.txt
+++ b/Documentation/dev-design.txt
@@ -724,7 +724,7 @@
 Caveats
 -------
 
-Reitveld can't be used as it does not provide the "submit over the
+Rietveld can't be used as it does not provide the "submit over the
 web" feature that Gerrit provides for Git.
 
 Gitosis can't be used as it does not provide any code review
diff --git a/Documentation/dev-inspector.txt b/Documentation/dev-inspector.txt
index 3076308..9e446cc 100644
--- a/Documentation/dev-inspector.txt
+++ b/Documentation/dev-inspector.txt
@@ -97,7 +97,7 @@
 in interfacing to the Java Virtual Machine, please refer to the
 http://www.jython.org/[Jython documentation].
 
-After sucessful initialization it is possible to examine components of
+After successful initialization it is possible to examine components of
 Java packages, classes and live instances.
 
 ----
diff --git a/Documentation/dev-plugins.txt b/Documentation/dev-plugins.txt
index b39adf7..8cd7924 100644
--- a/Documentation/dev-plugins.txt
+++ b/Documentation/dev-plugins.txt
@@ -263,7 +263,7 @@
 
 Plugins can contribute their own "init step" during the Gerrit init
 wizard. This is useful for guiding the Gerrit administrator through
-the settings needed by the plugin to work propertly.
+the settings needed by the plugin to work properly.
 
 For instance plugins to integrate Jira issues to Gerrit changes may
 contribute their own "init step" to allow configuring the Jira URL,
@@ -527,7 +527,7 @@
 ----
 
 If the plugin above is deployed under sh.jar file in `$site/plugins`
-directory, generic commands can be called without specifing the
+directory, generic commands can be called without specifying the
 actual SSH command. Note in the example below, that the called commands
 `ls` and `ps` was not explicitly bound: