4.7.1

github-actions released this 23 Apr 10:06

4de8f36

Changelog

fix: edge case where a plugin is wrongfully displayed as installed
chore: Updated documentation index
fix: documentation search not including headings

Assets 3