Open
Description
Feature description
As noted by @jidanni in #12093 (comment) , the zipped HTML download contains all of the documentation in a single HTML page.
This seems be an intended behavior for ReadTheDocs (https://stackoverflow.com/questions/32771287/download-html-as-separate-pages). Perhaps we can work around it somehow.
Additional context
No response