Web export: Rename the HTML file to index.html on export

[sosasees]

Describe the project you are working on

a web game

Describe the problem or limitation you are having in your project

if i zip my web export with no changes and then upload it to itch or Game Jolt, the site will report that it can't use my web export because there is no index.html in my ZIP file's root.

the solution is to rename the HTML file to index.html before zipping

Describe the feature / enhancement and how it helps to overcome the problem or limitation

this feature will automatically rename the HTML file to index.html when exporting.
it is a checkbox in the Web export preset settings, which is enabled by default:

• Rename HTML file to index.html

Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams

when enabled, this feature will either rename the HTML file to index.html after it was created
or it will cause the HTML file to be created with the name index.html

If this enhancement will not be used often, can it be worked around with a few lines of script?

this is commonly worked around by renaming the HTML file manually or with a shell script.

Is there a reason why this should be core and not an add-on in the asset library?

Game Jolt and especially itch being popular platforms for beginner developers to self‑publish their games, the error of these websites not accepting the web export becuse the HTML file at the root is not named index.html is encountered by every beginner.
to make their experience as smooth as possible, this error should be prevented by default.