--- a/web/wdoc/userprefs_en.rst	Mon Jan 04 18:40:30 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-The personal information describing a User can be modified using the edit form
-of the user. 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
-"profile" 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:: images/userprefs