godoc: specify HTML page metadata with a JSON blob
This allows HTML pages to specify arbitrary data in a header:
<!--{
"Title": "The page title",
...
}-->
replacing the old style comments:
<!-- title The page title -->
R=gri, rsc, r, bradfitz, dsymonds
CC=golang-dev
https://golang.org/cl/5532093
diff --git a/doc/docs.html b/doc/docs.html
index 5a5c8ee..c0ced98 100644
--- a/doc/docs.html
+++ b/doc/docs.html
@@ -1,4 +1,6 @@
-<!-- title Documentation -->
+<!--{
+ "Title": "Documentation"
+}-->
<div class="left-column">
