2018-07-23 UTC
# petermolnar sknebel: turned out search is tricky. I wanted to go "full static" and looked into js search solutions, but the smallest index I could come up with was 7+MB. So in the end, I kept the sqlite approach: the sqlite db itself is populated by python at build, and an extremely simple PHP will parse the query and query the db in read-only mode, avoiding the lock issue php usually have with sqlite.