Remove references to Majordomo

Lists are not handled by Majordomo anymore and haven't been for a while,
so remove the reference and instead direct people to the list server.

diff --git a/doc/src/sgml/problems.sgml b/doc/src/sgml/problems.sgml
index eced8dfdf2725e9e2fba269d8a8d56dbc420a3b3..a6b5fe2b638731103ed07b33ac5f571f1e2ad8e0 100644 (file)
--- a/doc/src/sgml/problems.sgml
+++ b/doc/src/sgml/problems.sgml
@@ -352,14 +352,10 @@
   
    
     Due to the unfortunate amount of spam going around, all of the above
-    email addresses are closed mailing lists. That is, you need to be
-    subscribed to a list to be allowed to post on it.  (You need not be
-    subscribed to use the bug-report web form, however.)
-    If you would like to send mail but do not want to receive list traffic,
-    you can subscribe and set your subscription option to nomail.
-    For more information send mail to
-    [email protected]
-    with the single word help in the body of the message.
+    lists will be moderated unless you are subscribed. That means there
+    will be some delay before the email is delivered. If you wish to subscribe
+    to the lists, please visit
+     for instructions.