Make external pages better, include common patterns, wiwik

Author: nielstron

src/pages/user-manual/language_tour/_meta.json

@@ -9,5 +9,10 @@
   "loop_statements": "Loop Statements",
   "functions": "Functions",
   "builtins": "Builtins",
-  "stdlib": "Standard Library"
+  "stdlib": {
+    "title": "Standard Library",
+    "type": "page",
+    "href": "https://opshin.opshin.dev/opshin/std/index.html",
+    "newWindow": true
+  }
 }

src/pages/user-manual/language_tour/stdlib.mdx

@@ -4,7 +4,19 @@
   "the_scriptcontext": "The ScriptContext",
   "handling_time": "Handling Time",
   "migration_v3": "Migrating to PlutusV3",
+  "common_design_patterns": "Common Design Patterns",
   "advanced": "Advanced Topics",
-  "ledger_def": "Ledger Definitions",
-  "examples": "Examples"
+  "what_i_wish_i_knew": "What I Wish I Knew",
+  "ledger_def": {
+    "title": "Ledger Definitions",
+    "type": "page",
+    "href": "https://opshin.opshin.dev/opshin/ledger/index.html",
+    "newWindow": true
+  },
+  "examples": {
+    "title": "Examples",
+    "type": "page",
+    "href": "https://github.com/OpShin/awesome-opshin/#examples",
+    "newWindow": true
+  }
 }

src/pages/user-manual/smart_contract_tour/_meta.json

@@ -105,18 +105,19 @@ This contract will fail if anything but a PlutusData object with constructor id
 and two fields, first integer and second bytes, is passed as a datum into the contract.
 
 > Note: Yes, this implies that without the explicit check the contract may pass with whatever
-> type d is, since its field or constructor id are never explicitly accessed.
+> type datum _actually_ is, since its fields or constructor id are never explicitly accessed.
 
 ```python
 from opshin.prelude import *
 from opshin.std.integrity import check_integrity
 
 @dataclass
-class A(PlutusData)
+class SomeDatum(PlutusData)
     CONSTR_ID = 2
     a: int
     b: bytes
 
-def validator(d: A, r: int, c: ScriptContext):
-    check_integrity(d)
+def validator(context: ScriptContext):
+    datum: SomeDatum = own_datum_unsafe(context)
+    check_integrity(datum)
 ```