cleanup, docs

site/doc/pages/json_decode.txt

@@ -28,7 +28,5 @@ Current runtime behavior:
 - JSON strings become native `String` `DValue` values.
 - JSON numbers currently deserialize as string-valued `DValue` nodes, so typed conversions such as `to_f64()` and `to_u64()` are the normal way to read numeric content.
 
-Related:
-
-- PHP: `json_decode()`
-- JavaScript / Node.js: `JSON.parse()`
+:example
+print("json_decode example\n");