This site is hosted with Blot and unfortunately, the search feature on Blot isn't great. So for the time being I've removed the search feature completely.
Instead, you can use the form below to search this site in a privacy respecting manner, using DuckDuckGo.