updating motoko doc

MAINTENANCE.md

@@ -5,7 +5,7 @@ git submodule update --init # if necessary
 cd submodules/motoko
 git checkout 0.7.6 #or whatever new tag you desire
 cd ../..
-git add submodule/motoko # add the change to the submodule
+git add submodules/motoko # add the change to the submodule
 
 Now replace static/moc-interpreter-0.7.3.js with static/moc_interpreter-0.7.6.js, downloaded from motoko release page. It would be better if this wasn't checked in, but, for now, it is.
 

docs/motoko/version.md

@@ -1,6 +1,6 @@
 # Motoko Version
 
-The release of Motoko documented here, currently 0.8.7, may be a few versions ahead of the Motoko compiler that is shipped with dfx.
+The release of Motoko documented here, currently 0.9.3, may be a few versions ahead of the Motoko compiler that is shipped with dfx.
 
 You can, however, instruct `dfx` to use a newer version of Motoko than the one it shipped with.
 

static/load_moc.ts

@@ -1,6 +1,6 @@
 import ExecutionEnvironment from "@docusaurus/ExecutionEnvironment";
 
-const MOC_VERSION = "0.8.7";
+const MOC_VERSION = "0.9.3";
 
 async function addPackage(name, repo, version, dir) {
   const meta_url = `https://data.jsdelivr.com/v1/package/gh/${repo}@${version}/flat`;