[server] portable dump format supports now ZIP64 extensions by default (closes #1912535)
ZIP files can use the ZIP64 extensions when the zipfile is larger than 2 GB.
zipfile will raise an exception when the ZIP file would require ZIP64 extensions.
Note: ZIP64 extensions are disabled by default in stdlib because the default
zip and unzip commands on Unix (the InfoZIP utilities) don’t support these
extensions.
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