Error in documentation

I found a possible error in a documentation page

Exporting a GeneratePress Site
https://docs.generatepress.com/article/exporting-generatepress-site/

Exporting widgets

If your site has widgets, we need to export them. Install and activate this plugin, then go to "Tools > Widget Importer & Exporter" and click "Export Widgets".

Save the file as widgets.wie, and place it in the same folder.

Be sure to deactivate the plugin once you’re done. You don’t want it to be activated if you have to export your options again, as it will then be included in your Site.

Install and activate this plugin is not hyperlinked to the necessary tool.