I keep running into this obnoxious problem in Windows 10 where explorer treats .html files as special such that they have a folder grouped with them. So for example, if I try to duplicate an HTML ...

The ODS HTML statement, which generates the HTML files, can create an HTML file (called the body file) that contains the results from the procedure a table of contents that links to the body file a ...