diff --git a/html-test/ref/Bug1004.html b/html-test/ref/Bug1004.html
index bbe2f5993e04ffba8bc76010f18fa6deb83c44fc..9fe6f84e1e710e7c2dd5f47c586909ba76ef99b8 100644
--- a/html-test/ref/Bug1004.html
+++ b/html-test/ref/Bug1004.html
@@ -48,6 +48,26 @@
><p class="caption"
>Bug1004</p
></div
+ ><div id="synopsis"
+ ><details id="syn"
+ ><summary
+ >Synopsis</summary
+ ><ul class="details-toggle" data-details-id="syn"
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >Product</a
+ > (f :: k -> <a href="#" title="Data.Kind"
+ >Type</a
+ >) (g :: k -> <a href="#" title="Data.Kind"
+ >Type</a
+ >) (a :: k) = <a href="#"
+ >Pair</a
+ > (f a) (g a)</li
+ ></ul
+ ></details
+ ></div
><div id="interface"
><h1
>Documentation</h1
@@ -64,6 +84,10 @@
>) (a :: k) <a href="#" class="selflink"
>#</a
></p
+ ><div class="doc"
+ ><p
+ >Lifted product of functors.</p
+ ></div
><div class="subs constructors"
><p class="caption"
>Constructors</p
@@ -176,8 +200,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -220,8 +248,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -290,8 +322,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -482,8 +518,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -530,8 +570,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -578,8 +622,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -674,8 +722,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -742,8 +794,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -824,8 +880,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -898,8 +958,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -988,8 +1052,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1042,8 +1110,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1108,8 +1180,12 @@
>Product</a
> f g)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1170,8 +1246,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1404,8 +1484,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.16.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1468,8 +1552,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.16.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1612,8 +1700,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1690,8 +1782,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1758,8 +1854,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1818,8 +1918,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -1936,8 +2040,12 @@
>Type</a
>)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -2026,8 +2134,12 @@
>Product</a
> f g a)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.9.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index a844d855e332cd2a61b1168eda5bb220cd20a861..57c820778e8bfe09a70a04466437ac02096552e0 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -48,6 +48,28 @@
><p class="caption"
>Bug310</p
></div
+ ><div id="synopsis"
+ ><details id="syn"
+ ><summary
+ >Synopsis</summary
+ ><ul class="details-toggle" data-details-id="syn"
+ ><li class="src short"
+ ><span class="keyword"
+ >type family</span
+ > (a :: <a href="#" title="Numeric.Natural"
+ >Natural</a
+ >) <a href="#"
+ >+</a
+ > (b :: <a href="#" title="Numeric.Natural"
+ >Natural</a
+ >) :: <a href="#" title="Numeric.Natural"
+ >Natural</a
+ > <span class="keyword"
+ >where ...</span
+ ></li
+ ></ul
+ ></details
+ ></div
><div id="interface"
><h1
>Documentation</h1
@@ -65,9 +87,21 @@
>Natural</a
> <span class="keyword"
>where ...</span
+ > <span class="fixity"
+ >infixl 6</span
+ ><span class="rightedge"
+ ></span
> <a href="#" class="selflink"
>#</a
></p
+ ><div class="doc"
+ ><p
+ >Addition of type-level naturals.</p
+ ><p
+ ><em
+ >Since: base-4.7.0.0</em
+ ></p
+ ></div
></div
></div
></div
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index 99bd540293e5b647dba18334716147d28da1ce5a..594480c7f62e43ccdd1c42092d2947d76e7d77b3 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -198,8 +198,12 @@
>WrappedArrow</a
> a b)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-2.1</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -270,8 +274,12 @@
>WrappedArrow</a
> a b)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-2.1</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -358,8 +366,12 @@
>WrappedArrow</a
> a b)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-2.1</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -486,8 +498,12 @@
>Type</a
>)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.7.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"
@@ -554,8 +570,12 @@
>WrappedArrow</a
> a b c)</span
></td
- ><td class="doc empty"
- > </td
+ ><td class="doc"
+ ><p
+ ><em
+ >Since: base-4.7.0.0</em
+ ></p
+ ></td
></tr
><tr
><td colspan="2"