diff --git a/CREDITS b/CREDITS
index 8699e50ec..a8e5ad220 100644
--- a/CREDITS
+++ b/CREDITS
@@ -20,6 +20,7 @@ CREDITS, in chronological order
 [rj] - Robin Johnson <robbat2@users.sourceforge.net>
 [kc] - Korakot Chaovavanich <korakot@iname.com>
 [af] - Armel Fauveau <webmaster@phpindex.com>
+[pk] - Pete Kelly <webmaster@trafficg.com>
 [xx] - ...  (to be completed)
 
 
diff --git a/DEVELOPERS b/DEVELOPERS
index 97489a28b..d135c6bd5 100755
--- a/DEVELOPERS
+++ b/DEVELOPERS
@@ -26,14 +26,17 @@ phpMyAdmin - Developer's Information
   With 1.4.1, development has switched to CVS. 
   The following method is preferred for new developers:
   - fetch the current CVS tree over anonymous CVS:
-    cvs -d :pserver:anon@www.htmlwizard.net:/usr/local/cvsroot login
-    [Password: phpMyAdmin]
-    cvs -d :pserver:anon@www.htmlwizard.net:/usr/local/cvsroot checkout phpMyAdmin
-    [This will create a new sub-directory named phpMyAdmin]
+    cvs -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin login
+    [Password: simply press the Enter key]
+    cvs -z3 -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin checkout phpMyAdmin
+      or
+    cvs -z3 -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin checkout phpMyAdmin-devel
+    [This will create a new sub-directory named phpMyAdmin or phpMyAdmin-devel]
   - add your stuff
-  - send me the file you've modified, or send me a diff.
-  I've also set up CVSWEB on http://www.htmlwizard.net/cgi-bin/cvsweb.
+  - put the modified files (tar'ed and gzip'ed) inside the patch tracker of the
+    phpMyAdmin SourceForge account
+    (https://sourceforge.net/projects/phpmyadmin/)
   Write access to the CVS tree is granted only to developers who have already
   contributed something useful to phpMyAdmin.  If you're interested in that, 
-  please contact me.
+  please contact us.
 
diff --git a/Documentation.html b/Documentation.html
index 7aa998d56..f3e0530bc 100755
--- a/Documentation.html
+++ b/Documentation.html
@@ -187,15 +187,19 @@ Either there is an error with your PHP setup or your username/password is
   The following method is preferred for new developers:
   <ul>
   <li>fetch the current CVS tree over anonymous CVS:<br>
-  cvs -d :pserver:anon@www.htmlwizard.net:/usr/local/cvsroot login<br>
-  [Password: phpMyAdmin]
-  cvs -d :pserver:anon@www.htmlwizard.net:/usr/local/cvsroot checkout phpMyAdmin<br>
-  [This will create a new sub-directory named phpMyAdmin]
+  cvs -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin login<br>
+  [Password: simply press the Enter key]<br>
+  cvs -z3 -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin checkout phpMyAdmin<br>
+  &nbsp;&nbsp;&nbsp;or<br>
+  cvs -z3 -d:pserver:anonymous@cvs.phpmyadmin.sourceforge.net:/cvsroot/phpmyadmin checkout phpMyAdmin-devel<br>
+  [This will create a new sub-directory named phpMyAdmin or phpMyAdmin-devel]<br>
   <li>add your stuff
-  <li>send me the modified files (tar'ed and gzip'ed)
-  Write access to the CVS tree is granted only to experienced developers who have already contributed something useful to phpMyAdmin.<br>
-  Also, have a look at the file DEVELOPERS. 
+  <li>put the modified files (tar'ed and gzip'ed) inside the patch tracker of the
+  <a href="https://sourceforge.net/projects/phpmyadmin/" target="_blank">phpMyAdmin SourceForge account</a>.
   </ul>
+ <p>Write access to the CVS tree is granted only to experienced developers who have already contributed something useful to phpMyAdmin.<br>
+  Also, have a look at the file DEVELOPERS.
+</p> 
 <p><b>What's the preferred way of making phpMyAdmin secure against evil access?<br>
   </b> This depends on your system. If you're running a server which cannot be 
   accessed by other people, it's sufficient to use the directory protection bundled