Build a searchable list with GitHub pages.

[michidk]

A searchable list instead of the autogenerated GitHub docs would improve the user experience for this list.

[github-actions]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.