Enhance new website
Past due by about 4 years
33% complete
Small enhancements of the new website:
- GitHub stars count
- search - once the basic website is built, we'll apply for https://docsearch.algolia.com/