Fix typos and grammars in repo root directory (#350)

Author: peter279k

configure.php

@@ -253,7 +253,7 @@ function find_xml_files($path) // {{{
 $rootdir = dirname($basedir);
 
 /**
- * When checking out this repository on GitHub Actions, the workspace  directory is "/home/runner/work/doc-base/doc-base".
+ * When checking out this repository on GitHub Actions, the workspace directory is "/home/runner/work/doc-base/doc-base".
  *
  * To avoid applying dirname() here, we check if we are running on GitHub Actions.
  *
@@ -910,7 +910,7 @@ function xinclude_run_byid( DOMDocument $dom )
 function xinclude_run_xpointer( DOMDocument $dom ) : int
 {
     // The return of xinclude() cannot be used for counting or stoping, as it
-    // sometimes return zero/negative in cases of partial executions
+    // sometimes returns zero/negative in cases of partial executions
 
     $total = 0;
     for( $run = 0 ; $run < 10 ; $run++ )

languages.php

@@ -45,9 +45,9 @@ function print_usage()
        [--list-csv] [--list-ssv] [--rev] [--all]
        [lang] [lang] ...
 
-Options that operates on local repositories:
+Options that operate on local repositories:
 
-   --clone      Clone a sibling language repo, if not exists
+   --clone      Clone a sibling language repo, if it does not exist
    --undo       Restore and clean up repositories to a pristine state
    --pull       Executes git pull
    --mark       Creates/deletes marking files
@@ -236,7 +236,7 @@ function gitUndo( Lang $lang )
 
     if ( ! file_exists( $lang->path ) )
     {
-        echo "undo  {$lang->code}: path does not exists, skipping.\n";
+        echo "undo  {$lang->code}: path does not exist, skipping.\n";
         return;
     }
     else
@@ -259,7 +259,7 @@ function gitPull( Lang $lang )
 
     if ( ! file_exists( $lang->path ) )
     {
-        echo "pull  {$lang->code}: path does not exists, skipping.\n";
+        echo "pull  {$lang->code}: path does not exist, skipping.\n";
         return;
     }
     else