diff --git a/docs/users_guide/glasgow_exts.xml b/docs/users_guide/glasgow_exts.xml
index a4f9b3d1be8ff71ab611ed1c49c51134b6fe7747..51f211481a14127ed396bd9d4e351c4b111bbbf2 100644
--- a/docs/users_guide/glasgow_exts.xml
+++ b/docs/users_guide/glasgow_exts.xml
@@ -2103,8 +2103,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">