Note from 30 July 2020

I guess nobody saw that yet, because it is almost never used 😅, but the search have been improved with an autocomplete.

Screenshot of autocomplete search with Algolia

Still using #Algolia, of course! 😍