diff -r 000000000000 -r b97547f5f1fa web/wdoc/userprefs_en.rst
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wdoc/userprefs_en.rst	Wed Nov 05 15:52:50 2008 +0100
@@ -0,0 +1,10 @@
+User's personnal information are modifiable using user's edit form. You can
+access it through the dropdown-menu under the link on the top-right of the
+window, labeled by your login. In this menu, click the "personal information"
+link to go to this form.
+
+Each user can as well customize the site appearance using the "user's
+preferences" link in this menu. This will show you a form to configure which
+boxes are displayed, in which order, etc...
+
+.. image:: doc/images/userprefs