WASM instructions

cozo-lib-python/README.md

@@ -10,5 +10,11 @@ which depends on this package.
 
 To build this package, you need to install the Rust toolchain
 as well as the [maturin](https://github.com/PyO3/maturin) python package.
-Refer maturin's docs for how to [develop](https://www.maturin.rs/develop.html) 
+Then run
+
+```bash
+maturin build -F compact -F storage-rocksdb --release
+```
+
+Refer maturin's docs for more information about how to [develop](https://www.maturin.rs/develop.html)
 and [build](https://www.maturin.rs/distribution.html) this package.

cozo-lib-wasm/README.md

@@ -1,9 +1,14 @@
 # Cozo in web assembly
 
-This crate provides Cozo web assembly modules for the web.
-If you are targeting NodeJS, use [this](../cozo-lib-nodejs) instead: in the case of Cozo, 
+This crate provides Cozo web assembly modules for browsers.
+If you are targeting NodeJS, use [this](../cozo-lib-nodejs) instead: 
 native code is still _much_ faster than WASM.
 
+This document describes how to set up the Cozo WASM module for use.
+To learn how to use CozoDB (CozoScript), follow the [tutorial](https://nbviewer.org/github/cozodb/cozo-docs/blob/main/tutorial/tutorial.ipynb)
+first and then read the [manual](https://cozodb.github.io/current/manual/). You can run all the queries
+described in the tutorial with an in-browser DB [here](https://cozodb.github.io/wasm-demo/).
+
 ## Installation
 
 ```