[multi-sources-removal] Drop entities.source column
Since we remove federated multi-sources support, the same value ('system')
is always stored in this column and so could be removed. Also, cleanup
repository caches and a few api where the very same useless information could
be removed.
Closes #2919300, at last
[jcr: restore sanity check of etype against schema in checkintegrity.has_eid]
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:: doc/images/userprefs