Desktop Client: What is the HTML file naming convention for publish as web page?

The filename convention uses the Document Name plus the Diagram Name. This allows customers to save multiple documents (with same-named diagrams) to the same folder without overwriting HTML files.