I’ve no clue how to export chrome://extensions/ as anything.
Would be great to get a PDF, but no, Google exports only the first page.
Maybe screenshotting it? Nope, doesn’t work.
Maybe use the DevTools? Nope, you cannot copy the HTML tree, it’s so dynamic, most of the page’s code is not there.
4