update moc to 0.13.7 (#4621)

* update moc to 0.13.7

* add markup to `MAINTENANCE.md`

* Update MAINTENANCE.md

* Update MAINTENANCE.md

* Update MAINTENANCE.md

---------

Co-authored-by: Gabor Greif <[email protected]>

MAINTENANCE.md

@@ -1,19 +1,20 @@
-# Updating motoko content
+# Updating Motoko content
 
+```
 cd portal/
 git submodule update --init # if necessary
 cd submodules/motoko
 git checkout 0.7.6 #or whatever new tag you desire
 cd ../..
 git add submodules/motoko # add the change to the submodule
+```
+Now replace `static/moc-interpreter-0.13.6.js` with `static/moc_interpreter-0.13.7.js`, downloaded from Motoko release page. It would be better if this wasn't checked in, but, for now, it is.
 
-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.
-
-Edit static/load_moc.ts to use the correct version of the interpreter and base libs.
-
-Finally, edit docs/motoko/version.md to report the current version of motoko.
+Edit `static/load_moc.ts` to use the correct version of the interpreter and base libs.
 
+Finally, edit `docs/motoko/version.md` to report the current version of Motoko.
+```
 git add -u
-git commit -m "updating motoko doc"
+git commit -m "chore: updating motoko doc"
 git push
-
+```

docs/motoko/version.md

@@ -1,6 +1,6 @@
 # Motoko Version
 
-The release of Motoko documented here, currently 0.13.4, may be a few versions
+The release of Motoko documented here, currently 0.13.7, 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

static/load_moc.ts

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