How can I export the names of files spanning many pages to .csv?
You will have to check the Help documentation available through the application, because there is no troubleshooting document or something to support the Documentum Webtop. I've checked all the possible websites and the software appears as being available, but support can be reached only if you are a customer.
Official website: http://www.emc.com/enterprise-content-management/documentum-webtop.htm
Tip: Use the Live Chat button on the lower-right to talk to a specialist.