Change filename content in case of HTML export

Description

In case of HTML export, it should be nice to add an option for the filename.
The actual options are:
1.) actual page number format
2.) the (short) name of the page

Environment

None

Preliminary Test Cases

None

Assignee

Daniel Marczisovszky [META-INF]

Reporter

András Németh

Labels

None

Access to limited visibility issues

None

Product platform

Server
Data Center
Cloud

Ready for Development

None

Target version

None

Time tracking

0m

Time remaining

24h

Affects versions

Priority

Major
Configure