> The documentation (and its translations) has not been updated yet, this will > come a bit later in the process of preparing the new release. Is there a ticket system (open for normal users)? Patrick