Excluding some files from Edit on GitHub

[outoftardis]

Describe the enhancement you'd like

It'd be helpful if there was a way to not add an "Edit on GitHub" button to some of the files. The way I see it is one more option in the list of html_options where I can use patterns to exclude a list of files for them not to have an "Edit on GitHub" button (see the reasoning for this below).

Does this solve a specific problem?

The problem I have is that there is a bunch of rst files in the documentation I support that are not written manually but are generated automatically whenever the output is generated. Meaning that "Edit on Github" button leads to non-existent pages for these files. I'd like to have a way to not include this button for that specific list of pages.

What alternatives exist?

No response

Additional context

No response