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

Time tracking

24h

Affects versions

Priority

Major
Configure