Select the pages to export:
select all / none
1.0 - Arduino Library Manager
2.0 - GitHub
3.0 - Direct download