The more advanced search features of the Extension Manager are now hidden under a More button by default and more explanation was added to the shown informations.
Choose the export format from the list below:
Export as Portable Document Format (PDF) using the Web Browser
Export as HyperText Markup Language (HTML)
Select the pages to export:
The more advanced search features of the Extension Manager are now hidden under a More button by default and more explanation was added to the shown informations.