chore: 検索インデックスを更新

[3w36zj6]

変更点

• Webサイト上の検索ボックスでの検索結果が実態と異なる状況であったため、検索インデックスを最新のものに更新した

確認事項

• いくつかのキーワードで検索を試した際に、結果が本家サイトと同一である

備考

• 本家の検索インデックスをそのまま持ってきたため、日本語コミュニティで独自に追加した記事は検索対象になっていない

[kimushun1101]

変更行が多すぎてどう変わったか表示できないのですが、現在のmainブランチでは検索できないが、この変更で対応できるようになったワードとかありますか？
もし簡単にわかればでかまいません。動作は正常にしていると思いますのでApproveを出します。

[3w36zj6]

一例として、「bibliography」の本家の検索結果のリンクはhttps://typst.app/docs/reference/model/bibliography/ですが、現在はhttps://typst-jp.github.io/docs/reference/meta/bibliography/という古いものになっています。

変更内容が妥当かどうかについては、https://typst.app/assets/search.json?bust=20230915で取得できるJSONにPrettierのフォーマットを適用し、それとのdiffをとったときに差分が生じるかどうかを検証することで確認できます。

[kimushun1101]

ありがとうございます。bibliographyが現在の検索でうまくいかないこと、修正後では正常に遷移することを確認いたしました。