Currently the document pool takes the name of the taxonomy as the name of the pool. This might make sense, however not in all cases. E.g. when using the same taxonomy for the question pool and the document pool it makes no sense at all.
The solution is to make the document pool configurable, the same way it is already possible to configure the webdav mount point.
There are actually three names:
- Site name (configured via i18n translation tool)
- Menu tree root element (should be same as site name, no additional config and not the taxonomy name)
- Page Title of root element (this one can be skipped entirely as the content of the info page needs to be done anyway). Use the Taxonomy name if no title is defined for migration purpose
In addition, display a message when no info page is configured.