diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index d7e200458d3a8720c10eedb9e9d1d3b145f3c6d1..53dff29cf13c5df28fe5bc9c0deead8d4e8d15cb 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -2093,8 +2093,9 @@ NilSet :: Set a
 ConsSet :: Eq a => a -> Set a -> Set a
 </programlisting>
 
-<para>In GHC this feature is an extension called
-<literal>DatatypeContexts</literal>, and on by default.</para>
+<para>This is widely considered a misfeature, and is going to be removed from
+the language.  In GHC, it is controlled by the deprecated extension
+<literal>DatatypeContexts</literal>.</para>
 </sect2>
 
 <sect2 id="infix-tycons">