2019年にこのブログに入れた検索機能をいまさらアップデートした。Lunrでインデックス作ったりして頑張っていたのを、単純なリニアな文字列検索にした。個人のブログでたいしたデータ量ではないんだからこれで十分なのだ