FWIW I went looking on archive.org and found "ERIC ED378962: Developing CD-ROMs: Pitfalls and Detours on the Road to the Digital Village." which had a very brief mention of High Sierra:<p><a href="https://archive.org/details/ERIC_ED378962/page/n13/mode/2up?q=sierra" rel="nofollow">https://archive.org/details/ERIC_ED378962/page/n13/mode/2up?...</a><p>There are also a number of High Sierra format CDROMs on the archive.